Eftersom robotar integreras i vårt dagliga liv blir det nödvändigt att ge garantier för att de fungerar säkert och på ett tillfredsställande sätt. Sådana garantier kan tillhandahållas med hjälp av automatisk teoretisk uppgifts- och uppdragsplanering där kraven uttrycks som tidslogiska specifikationer. I verkliga scenarier kan man dock förvänta sig att inte alla användaruppgiftskrav kan realiseras av roboten. I sådana fall måste roboten ge återkoppling till användaren om varför den inte kan utföra en given uppgift. Dessutom bör roboten ange vilka uppgifter den kan utföra som är så "nära" som möjligt till den ursprungliga användarens intention. I detta dokument fastställs att det senare problemet, som kallas det minimala problemet med revidering av specifikationen, är NP-kompletterat. En heuristisk algoritm presenteras som kan beräkna bra approximationer till den minimala revisionsproblem (MRP) i polynom tid. Den experimentella studien av algoritmen visar att den heuristiska algoritmen i de flesta problemfall faktiskt returnerar den optimala lösningen. Slutligen presenteras några fall där algoritmen inte returnerar den optimala lösningen.
Slutligen undersöks problem med revidering av specifikationen i REF.
On the minimal revision problem of specification automata
{'venue': None, 'journal': 'The International Journal of Robotics Research', 'mag_field_of_study': ['Mathematics', 'Computer Science']}