Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949524444> ?p ?o ?g. }
- W2949524444 abstract "As robots are being integrated into our daily lives, it becomes necessary to provide guarantees on the safe and provably correct operation. Such guarantees can be provided using automata theoretic task and mission planning where the requirements are expressed as temporal logic specifications. However, in real-life scenarios, it is to be expected that not all user task requirements can be realized by the robot. In such cases, the robot must provide feedback to the user on why it cannot accomplish a given task. Moreover, the robot should indicate what tasks it can accomplish which are as close as possible to the initial user intent. This paper establishes that the latter problem, which is referred to as the minimal specification revision problem, is NP complete. A heuristic algorithm is presented that can compute good approximations to the Minimal Revision Problem (MRP) in polynomial time. The experimental study of the algorithm demonstrates that in most problem instances the heuristic algorithm actually returns the optimal solution. Finally, some cases where the algorithm does not return the optimal solution are presented." @default.
- W2949524444 created "2019-06-27" @default.
- W2949524444 creator A5036574492 @default.
- W2949524444 creator A5058732387 @default.
- W2949524444 creator A5063584164 @default.
- W2949524444 date "2014-04-08" @default.
- W2949524444 modified "2023-10-16" @default.
- W2949524444 title "On the Minimal Revision Problem of Specification Automata" @default.
- W2949524444 cites W1503780205 @default.
- W2949524444 cites W1521785144 @default.
- W2949524444 cites W1527405706 @default.
- W2949524444 cites W1529150600 @default.
- W2949524444 cites W1544302414 @default.
- W2949524444 cites W1547562281 @default.
- W2949524444 cites W1603488308 @default.
- W2949524444 cites W1970269621 @default.
- W2949524444 cites W1989495662 @default.
- W2949524444 cites W2001006503 @default.
- W2949524444 cites W2010802721 @default.
- W2949524444 cites W2023862787 @default.
- W2949524444 cites W2027175684 @default.
- W2949524444 cites W2037635833 @default.
- W2949524444 cites W2052695231 @default.
- W2949524444 cites W2058327921 @default.
- W2949524444 cites W2071592303 @default.
- W2949524444 cites W2071797744 @default.
- W2949524444 cites W2074802943 @default.
- W2949524444 cites W2084485573 @default.
- W2949524444 cites W2089003125 @default.
- W2949524444 cites W2095678790 @default.
- W2949524444 cites W2095901198 @default.
- W2949524444 cites W2099217059 @default.
- W2949524444 cites W21033097 @default.
- W2949524444 cites W2106305745 @default.
- W2949524444 cites W2131742729 @default.
- W2949524444 cites W2135401383 @default.
- W2949524444 cites W2148446974 @default.
- W2949524444 cites W2151958719 @default.
- W2949524444 cites W2152924401 @default.
- W2949524444 cites W2155020620 @default.
- W2949524444 cites W2161457766 @default.
- W2949524444 cites W2166839364 @default.
- W2949524444 cites W2203616022 @default.
- W2949524444 cites W2293346831 @default.
- W2949524444 cites W2294573743 @default.
- W2949524444 cites W2295357975 @default.
- W2949524444 cites W2395585410 @default.
- W2949524444 cites W2611243847 @default.
- W2949524444 cites W2752885492 @default.
- W2949524444 cites W2913459036 @default.
- W2949524444 cites W68227499 @default.
- W2949524444 doi "https://doi.org/10.48550/arxiv.1404.2289" @default.
- W2949524444 hasPublicationYear "2014" @default.
- W2949524444 type Work @default.
- W2949524444 sameAs 2949524444 @default.
- W2949524444 citedByCount "0" @default.
- W2949524444 crossrefType "posted-content" @default.
- W2949524444 hasAuthorship W2949524444A5036574492 @default.
- W2949524444 hasAuthorship W2949524444A5058732387 @default.
- W2949524444 hasAuthorship W2949524444A5063584164 @default.
- W2949524444 hasBestOaLocation W29495244441 @default.
- W2949524444 hasConcept C112505250 @default.
- W2949524444 hasConcept C11413529 @default.
- W2949524444 hasConcept C126255220 @default.
- W2949524444 hasConcept C127413603 @default.
- W2949524444 hasConcept C154945302 @default.
- W2949524444 hasConcept C173801870 @default.
- W2949524444 hasConcept C201995342 @default.
- W2949524444 hasConcept C2780451532 @default.
- W2949524444 hasConcept C311688 @default.
- W2949524444 hasConcept C33923547 @default.
- W2949524444 hasConcept C41008148 @default.
- W2949524444 hasConcept C80444323 @default.
- W2949524444 hasConcept C90509273 @default.
- W2949524444 hasConceptScore W2949524444C112505250 @default.
- W2949524444 hasConceptScore W2949524444C11413529 @default.
- W2949524444 hasConceptScore W2949524444C126255220 @default.
- W2949524444 hasConceptScore W2949524444C127413603 @default.
- W2949524444 hasConceptScore W2949524444C154945302 @default.
- W2949524444 hasConceptScore W2949524444C173801870 @default.
- W2949524444 hasConceptScore W2949524444C201995342 @default.
- W2949524444 hasConceptScore W2949524444C2780451532 @default.
- W2949524444 hasConceptScore W2949524444C311688 @default.
- W2949524444 hasConceptScore W2949524444C33923547 @default.
- W2949524444 hasConceptScore W2949524444C41008148 @default.
- W2949524444 hasConceptScore W2949524444C80444323 @default.
- W2949524444 hasConceptScore W2949524444C90509273 @default.
- W2949524444 hasLocation W29495244441 @default.
- W2949524444 hasLocation W29495244442 @default.
- W2949524444 hasOpenAccess W2949524444 @default.
- W2949524444 hasPrimaryLocation W29495244441 @default.
- W2949524444 hasRelatedWork W1521672401 @default.
- W2949524444 hasRelatedWork W1990892711 @default.
- W2949524444 hasRelatedWork W2064245428 @default.
- W2949524444 hasRelatedWork W2124621291 @default.
- W2949524444 hasRelatedWork W2184085865 @default.
- W2949524444 hasRelatedWork W2606825221 @default.
- W2949524444 hasRelatedWork W2674584172 @default.
- W2949524444 hasRelatedWork W3171631314 @default.
- W2949524444 hasRelatedWork W4323870231 @default.