Matches in SemOpenAlex for { <https://semopenalex.org/work/W21033097> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W21033097 endingPage "668" @default.
- W21033097 startingPage "663" @default.
- W21033097 abstract "Recent work in robotics has applied formal verification tools to automatically generate correct-by-construction controllers for autonomous robots. However, when it is not possible to create such a controller, these approaches do not provide the user with feedback on the source of failure, making the experience of debugging a specification somewhat ad hoc and unstructured, and a source of frustration for the user. This paper describes an extension to the LTLMoP toolkit for robot mission planning that encloses the control-generation process in a layer of automated reasoning to identify the cause of failure, and targets the user’s attention to flawed portions of the specification." @default.
- W21033097 created "2016-06-24" @default.
- W21033097 creator A5020074157 @default.
- W21033097 creator A5074189357 @default.
- W21033097 date "2011-01-01" @default.
- W21033097 modified "2023-10-18" @default.
- W21033097 title "Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP" @default.
- W21033097 cites W1499127572 @default.
- W21033097 cites W1517771483 @default.
- W21033097 cites W1537589219 @default.
- W21033097 cites W1570601698 @default.
- W21033097 cites W1603488308 @default.
- W21033097 cites W1814905144 @default.
- W21033097 cites W2001006503 @default.
- W21033097 cites W2004796166 @default.
- W21033097 cites W2117218135 @default.
- W21033097 cites W2148446974 @default.
- W21033097 cites W2151958719 @default.
- W21033097 cites W2152924401 @default.
- W21033097 cites W2171746860 @default.
- W21033097 cites W3023554972 @default.
- W21033097 doi "https://doi.org/10.1007/978-3-642-22110-1_54" @default.
- W21033097 hasPublicationYear "2011" @default.
- W21033097 type Work @default.
- W21033097 sameAs 21033097 @default.
- W21033097 citedByCount "30" @default.
- W21033097 countsByYear W210330972012 @default.
- W21033097 countsByYear W210330972013 @default.
- W21033097 countsByYear W210330972014 @default.
- W21033097 countsByYear W210330972015 @default.
- W21033097 countsByYear W210330972016 @default.
- W21033097 countsByYear W210330972019 @default.
- W21033097 countsByYear W210330972020 @default.
- W21033097 countsByYear W210330972021 @default.
- W21033097 countsByYear W210330972023 @default.
- W21033097 crossrefType "book-chapter" @default.
- W21033097 hasAuthorship W21033097A5020074157 @default.
- W21033097 hasAuthorship W21033097A5074189357 @default.
- W21033097 hasBestOaLocation W210330971 @default.
- W21033097 hasConcept C107457646 @default.
- W21033097 hasConcept C115903868 @default.
- W21033097 hasConcept C154945302 @default.
- W21033097 hasConcept C168065819 @default.
- W21033097 hasConcept C199360897 @default.
- W21033097 hasConcept C203479927 @default.
- W21033097 hasConcept C34413123 @default.
- W21033097 hasConcept C41008148 @default.
- W21033097 hasConcept C6557445 @default.
- W21033097 hasConcept C75606506 @default.
- W21033097 hasConcept C86803240 @default.
- W21033097 hasConcept C90509273 @default.
- W21033097 hasConcept C98045186 @default.
- W21033097 hasConceptScore W21033097C107457646 @default.
- W21033097 hasConceptScore W21033097C115903868 @default.
- W21033097 hasConceptScore W21033097C154945302 @default.
- W21033097 hasConceptScore W21033097C168065819 @default.
- W21033097 hasConceptScore W21033097C199360897 @default.
- W21033097 hasConceptScore W21033097C203479927 @default.
- W21033097 hasConceptScore W21033097C34413123 @default.
- W21033097 hasConceptScore W21033097C41008148 @default.
- W21033097 hasConceptScore W21033097C6557445 @default.
- W21033097 hasConceptScore W21033097C75606506 @default.
- W21033097 hasConceptScore W21033097C86803240 @default.
- W21033097 hasConceptScore W21033097C90509273 @default.
- W21033097 hasConceptScore W21033097C98045186 @default.
- W21033097 hasLocation W210330971 @default.
- W21033097 hasOpenAccess W21033097 @default.
- W21033097 hasPrimaryLocation W210330971 @default.
- W21033097 hasRelatedWork W1498982577 @default.
- W21033097 hasRelatedWork W1579177548 @default.
- W21033097 hasRelatedWork W1587224678 @default.
- W21033097 hasRelatedWork W1601811574 @default.
- W21033097 hasRelatedWork W181842068 @default.
- W21033097 hasRelatedWork W201088255 @default.
- W21033097 hasRelatedWork W2025670560 @default.
- W21033097 hasRelatedWork W2115737686 @default.
- W21033097 hasRelatedWork W4234604123 @default.
- W21033097 hasRelatedWork W2523525283 @default.
- W21033097 isParatext "false" @default.
- W21033097 isRetracted "false" @default.
- W21033097 magId "21033097" @default.
- W21033097 workType "book-chapter" @default.