Matches in SemOpenAlex for { <https://semopenalex.org/work/W3067857708> ?p ?o ?g. }
- W3067857708 endingPage "3258" @default.
- W3067857708 startingPage "3251" @default.
- W3067857708 abstract "We synthesize shared control protocols subject to probabilistic temporal logic specifications. Specifically, we develop a framework in which a human and an autonomy protocol can issue commands to carry out a certain task. We blend these commands into a joint input to a robot. We model the interaction between the human and the robot as a Markov decision process representing the shared control scenario. Using inverse reinforcement learning, we obtain an abstraction of the human's behavior. We use randomized strategies to account for randomness in human's decisions, caused by factors such as the complexity of the task specifications or imperfect interfaces. We design the autonomy protocol to ensure that the resulting robot behavior satisfies given safety and performance specifications in probabilistic temporal logic. Additionally, the resulting strategies generate behavior as similar to the behavior induced by the human's commands as possible. We solve the underlying problem efficiently using quasiconvex programming. Case studies involving autonomous wheelchair navigation and unmanned aerial vehicle mission planning showcase the applicability of our approach." @default.
- W3067857708 created "2020-08-24" @default.
- W3067857708 creator A5007221616 @default.
- W3067857708 creator A5012669709 @default.
- W3067857708 creator A5050465036 @default.
- W3067857708 creator A5068441112 @default.
- W3067857708 date "2021-07-01" @default.
- W3067857708 modified "2023-10-17" @default.
- W3067857708 title "Synthesis of Provably Correct Autonomy Protocols for Shared Control" @default.
- W3067857708 cites W1584965098 @default.
- W3067857708 cites W1632601927 @default.
- W3067857708 cites W1986081132 @default.
- W3067857708 cites W1999874108 @default.
- W3067857708 cites W2105925198 @default.
- W3067857708 cites W2121095571 @default.
- W3067857708 cites W2128378943 @default.
- W3067857708 cites W2146496894 @default.
- W3067857708 cites W2165698076 @default.
- W3067857708 cites W2217538972 @default.
- W3067857708 cites W2222851005 @default.
- W3067857708 cites W2323089860 @default.
- W3067857708 cites W2593267253 @default.
- W3067857708 cites W266133316 @default.
- W3067857708 cites W2895196950 @default.
- W3067857708 cites W2963366811 @default.
- W3067857708 cites W2963751010 @default.
- W3067857708 cites W4249532171 @default.
- W3067857708 cites W4250589301 @default.
- W3067857708 cites W798280485 @default.
- W3067857708 doi "https://doi.org/10.1109/tac.2020.3018029" @default.
- W3067857708 hasPublicationYear "2021" @default.
- W3067857708 type Work @default.
- W3067857708 sameAs 3067857708 @default.
- W3067857708 citedByCount "1" @default.
- W3067857708 countsByYear W30678577082021 @default.
- W3067857708 crossrefType "journal-article" @default.
- W3067857708 hasAuthorship W3067857708A5007221616 @default.
- W3067857708 hasAuthorship W3067857708A5012669709 @default.
- W3067857708 hasAuthorship W3067857708A5050465036 @default.
- W3067857708 hasAuthorship W3067857708A5068441112 @default.
- W3067857708 hasBestOaLocation W30678577081 @default.
- W3067857708 hasConcept C105795698 @default.
- W3067857708 hasConcept C106189395 @default.
- W3067857708 hasConcept C107457646 @default.
- W3067857708 hasConcept C111472728 @default.
- W3067857708 hasConcept C120314980 @default.
- W3067857708 hasConcept C124304363 @default.
- W3067857708 hasConcept C125112378 @default.
- W3067857708 hasConcept C127413603 @default.
- W3067857708 hasConcept C138885662 @default.
- W3067857708 hasConcept C142724271 @default.
- W3067857708 hasConcept C154945302 @default.
- W3067857708 hasConcept C159886148 @default.
- W3067857708 hasConcept C199360897 @default.
- W3067857708 hasConcept C201995342 @default.
- W3067857708 hasConcept C204787440 @default.
- W3067857708 hasConcept C25016198 @default.
- W3067857708 hasConcept C2780385302 @default.
- W3067857708 hasConcept C2780451532 @default.
- W3067857708 hasConcept C33923547 @default.
- W3067857708 hasConcept C41008148 @default.
- W3067857708 hasConcept C4777664 @default.
- W3067857708 hasConcept C49937458 @default.
- W3067857708 hasConcept C71924100 @default.
- W3067857708 hasConcept C80444323 @default.
- W3067857708 hasConcept C90509273 @default.
- W3067857708 hasConcept C97541855 @default.
- W3067857708 hasConcept C98045186 @default.
- W3067857708 hasConceptScore W3067857708C105795698 @default.
- W3067857708 hasConceptScore W3067857708C106189395 @default.
- W3067857708 hasConceptScore W3067857708C107457646 @default.
- W3067857708 hasConceptScore W3067857708C111472728 @default.
- W3067857708 hasConceptScore W3067857708C120314980 @default.
- W3067857708 hasConceptScore W3067857708C124304363 @default.
- W3067857708 hasConceptScore W3067857708C125112378 @default.
- W3067857708 hasConceptScore W3067857708C127413603 @default.
- W3067857708 hasConceptScore W3067857708C138885662 @default.
- W3067857708 hasConceptScore W3067857708C142724271 @default.
- W3067857708 hasConceptScore W3067857708C154945302 @default.
- W3067857708 hasConceptScore W3067857708C159886148 @default.
- W3067857708 hasConceptScore W3067857708C199360897 @default.
- W3067857708 hasConceptScore W3067857708C201995342 @default.
- W3067857708 hasConceptScore W3067857708C204787440 @default.
- W3067857708 hasConceptScore W3067857708C25016198 @default.
- W3067857708 hasConceptScore W3067857708C2780385302 @default.
- W3067857708 hasConceptScore W3067857708C2780451532 @default.
- W3067857708 hasConceptScore W3067857708C33923547 @default.
- W3067857708 hasConceptScore W3067857708C41008148 @default.
- W3067857708 hasConceptScore W3067857708C4777664 @default.
- W3067857708 hasConceptScore W3067857708C49937458 @default.
- W3067857708 hasConceptScore W3067857708C71924100 @default.
- W3067857708 hasConceptScore W3067857708C80444323 @default.
- W3067857708 hasConceptScore W3067857708C90509273 @default.
- W3067857708 hasConceptScore W3067857708C97541855 @default.
- W3067857708 hasConceptScore W3067857708C98045186 @default.
- W3067857708 hasFunder F4320335353 @default.
- W3067857708 hasIssue "7" @default.
- W3067857708 hasLocation W30678577081 @default.