FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3207334744> ?p ?o ?g. }

• W3207334744 endingPage "5277" @default.
• W3207334744 startingPage "5262" @default.
• W3207334744 abstract "The deployment of autonomous systems in uncertain and dynamic environments has raised fundamental questions. Addressing these is pivotal to build fully autonomous systems and requires a systematic integration of planning and control. We first propose reactive risk signal interval temporal logic (ReRiSITL) as an extension of signal temporal logic (STL) to formulate complex spatiotemporal specifications. Unlike STL, ReRiSITL allows to consider uncontrollable propositions that may model humans as well as random environmental events such as sensor failures. Additionally, ReRiSITL allows to incorporate risk measures, such as (but not limited to) the conditional value-at-risk, to measure the risk of violating certain spatial specifications. Second, we propose an algorithm to check if an ReRiSITL specification is satisfiable. For this purpose, we abstract the ReRiSITL specification into a timed signal transducer and devise a game-based approach. Third, we propose a reactive planning and control framework for dynamical control systems under ReRiSITL specifications." @default.
• W3207334744 created "2021-10-25" @default.
• W3207334744 creator A5027184150 @default.
• W3207334744 creator A5029243115 @default.
• W3207334744 creator A5055348953 @default.
• W3207334744 date "2022-10-01" @default.
• W3207334744 modified "2023-10-03" @default.
• W3207334744 title "Reactive and Risk-Aware Control for Signal Temporal Logic" @default.
• W3207334744 cites W1547304883 @default.
• W3207334744 cites W1569051713 @default.
• W3207334744 cites W1589082502 @default.
• W3207334744 cites W1603296878 @default.
• W3207334744 cites W1606824214 @default.
• W3207334744 cites W1647779468 @default.
• W3207334744 cites W1667231716 @default.
• W3207334744 cites W1935692274 @default.
• W3207334744 cites W1977985274 @default.
• W3207334744 cites W2012935476 @default.
• W3207334744 cites W2049399166 @default.
• W3207334744 cites W2049696538 @default.
• W3207334744 cites W2092884371 @default.
• W3207334744 cites W2095274657 @default.
• W3207334744 cites W2101508170 @default.
• W3207334744 cites W2144965436 @default.
• W3207334744 cites W2150335178 @default.
• W3207334744 cites W2151958719 @default.
• W3207334744 cites W2235884325 @default.
• W3207334744 cites W2381901500 @default.
• W3207334744 cites W2470448410 @default.
• W3207334744 cites W2571161957 @default.
• W3207334744 cites W2624912704 @default.
• W3207334744 cites W2769032251 @default.
• W3207334744 cites W2783448066 @default.
• W3207334744 cites W2792781634 @default.
• W3207334744 cites W2841721725 @default.
• W3207334744 cites W2905277694 @default.
• W3207334744 cites W2912250739 @default.
• W3207334744 cites W2945959809 @default.
• W3207334744 cites W2963117388 @default.
• W3207334744 cites W2963445246 @default.
• W3207334744 cites W2963931816 @default.
• W3207334744 cites W2972486407 @default.
• W3207334744 cites W2972788319 @default.
• W3207334744 cites W2981939605 @default.
• W3207334744 cites W3004360048 @default.
• W3207334744 cites W3011231379 @default.
• W3207334744 cites W3011713702 @default.
• W3207334744 cites W3021487874 @default.
• W3207334744 cites W3023554972 @default.
• W3207334744 cites W3031140285 @default.
• W3207334744 cites W3045535642 @default.
• W3207334744 cites W3045538479 @default.
• W3207334744 cites W3045981004 @default.
• W3207334744 cites W3120310250 @default.
• W3207334744 cites W3135649364 @default.
• W3207334744 cites W3155157568 @default.
• W3207334744 doi "https://doi.org/10.1109/tac.2021.3120681" @default.
• W3207334744 hasPublicationYear "2022" @default.
• W3207334744 type Work @default.
• W3207334744 sameAs 3207334744 @default.
• W3207334744 citedByCount "4" @default.
• W3207334744 countsByYear W32073347442022 @default.
• W3207334744 countsByYear W32073347442023 @default.
• W3207334744 crossrefType "journal-article" @default.
• W3207334744 hasAuthorship W3207334744A5027184150 @default.
• W3207334744 hasAuthorship W3207334744A5029243115 @default.
• W3207334744 hasAuthorship W3207334744A5055348953 @default.
• W3207334744 hasBestOaLocation W32073347442 @default.
• W3207334744 hasConcept C127413603 @default.
• W3207334744 hasConcept C133731056 @default.
• W3207334744 hasConcept C154945302 @default.
• W3207334744 hasConcept C162670838 @default.
• W3207334744 hasConcept C198008173 @default.
• W3207334744 hasConcept C199360897 @default.
• W3207334744 hasConcept C25016198 @default.
• W3207334744 hasConcept C2775924081 @default.
• W3207334744 hasConcept C2778029271 @default.
• W3207334744 hasConcept C2779843651 @default.
• W3207334744 hasConcept C41008148 @default.
• W3207334744 hasConcept C4777664 @default.
• W3207334744 hasConcept C80444323 @default.
• W3207334744 hasConceptScore W3207334744C127413603 @default.
• W3207334744 hasConceptScore W3207334744C133731056 @default.
• W3207334744 hasConceptScore W3207334744C154945302 @default.
• W3207334744 hasConceptScore W3207334744C162670838 @default.
• W3207334744 hasConceptScore W3207334744C198008173 @default.
• W3207334744 hasConceptScore W3207334744C199360897 @default.
• W3207334744 hasConceptScore W3207334744C25016198 @default.
• W3207334744 hasConceptScore W3207334744C2775924081 @default.
• W3207334744 hasConceptScore W3207334744C2778029271 @default.
• W3207334744 hasConceptScore W3207334744C2779843651 @default.
• W3207334744 hasConceptScore W3207334744C41008148 @default.
• W3207334744 hasConceptScore W3207334744C4777664 @default.
• W3207334744 hasConceptScore W3207334744C80444323 @default.
• W3207334744 hasFunder F4320335353 @default.
• W3207334744 hasFunder F4320338279 @default.
• W3207334744 hasIssue "10" @default.
• W3207334744 hasLocation W32073347441 @default.

• next