FRINK Linked Data Fragments server

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

• W2120088319 abstract "We investigate the robustness of reactive control protocols synthesized to guarantee system's correctness with respect to given temporal logic specifications. We consider uncertainties in open finite transition systems due to unmodeled transitions. The resulting robust synthesis problem is formulated as a temporal logic game. In particular, if the specification is in the so-called generalized reactivity [1] fragment of linear temporal logic, so is the augmented specification in the resulting robust synthesis problem. Hence, the robust synthesis problem belongs to the same complexity class with the nominal synthesis problem, and is amenable to polynomial time solvers. Additionally, we discuss reasoning about the effects of different levels of uncertainties on robust synthesizability and demonstrate the results on a simple robot motion planning scenario." @default.
• W2120088319 created "2016-06-24" @default.
• W2120088319 creator A5027835055 @default.
• W2120088319 creator A5054418471 @default.
• W2120088319 creator A5055901264 @default.
• W2120088319 creator A5068441112 @default.
• W2120088319 date "2012-04-17" @default.
• W2120088319 modified "2023-10-18" @default.
• W2120088319 title "On synthesizing robust discrete controllers under modeling uncertainty" @default.
• W2120088319 cites W1517771483 @default.
• W2120088319 cites W1737156267 @default.
• W2120088319 cites W1975823577 @default.
• W2120088319 cites W1978100913 @default.
• W2120088319 cites W2023808162 @default.
• W2120088319 cites W2024646106 @default.
• W2120088319 cites W2041701185 @default.
• W2120088319 cites W2056864430 @default.
• W2120088319 cites W2073788194 @default.
• W2120088319 cites W2114724402 @default.
• W2120088319 cites W2147273034 @default.
• W2120088319 cites W2148446974 @default.
• W2120088319 cites W2150335178 @default.
• W2120088319 cites W2164451522 @default.
• W2120088319 cites W2178626170 @default.
• W2120088319 cites W2326611379 @default.
• W2120088319 cites W2502103274 @default.
• W2120088319 cites W3023554972 @default.
• W2120088319 doi "https://doi.org/10.1145/2185632.2185648" @default.
• W2120088319 hasPublicationYear "2012" @default.
• W2120088319 type Work @default.
• W2120088319 sameAs 2120088319 @default.
• W2120088319 citedByCount "37" @default.
• W2120088319 countsByYear W21200883192014 @default.
• W2120088319 countsByYear W21200883192015 @default.
• W2120088319 countsByYear W21200883192016 @default.
• W2120088319 countsByYear W21200883192017 @default.
• W2120088319 countsByYear W21200883192018 @default.
• W2120088319 countsByYear W21200883192019 @default.
• W2120088319 countsByYear W21200883192021 @default.
• W2120088319 countsByYear W21200883192022 @default.
• W2120088319 countsByYear W21200883192023 @default.
• W2120088319 crossrefType "proceedings-article" @default.
• W2120088319 hasAuthorship W2120088319A5027835055 @default.
• W2120088319 hasAuthorship W2120088319A5054418471 @default.
• W2120088319 hasAuthorship W2120088319A5055901264 @default.
• W2120088319 hasAuthorship W2120088319A5068441112 @default.
• W2120088319 hasConcept C104317684 @default.
• W2120088319 hasConcept C111472728 @default.
• W2120088319 hasConcept C11413529 @default.
• W2120088319 hasConcept C119599485 @default.
• W2120088319 hasConcept C126255220 @default.
• W2120088319 hasConcept C127413603 @default.
• W2120088319 hasConcept C138885662 @default.
• W2120088319 hasConcept C154945302 @default.
• W2120088319 hasConcept C17500928 @default.
• W2120088319 hasConcept C185592680 @default.
• W2120088319 hasConcept C25016198 @default.
• W2120088319 hasConcept C2775924081 @default.
• W2120088319 hasConcept C2780586882 @default.
• W2120088319 hasConcept C31531917 @default.
• W2120088319 hasConcept C33923547 @default.
• W2120088319 hasConcept C41008148 @default.
• W2120088319 hasConcept C47446073 @default.
• W2120088319 hasConcept C4777664 @default.
• W2120088319 hasConcept C55439883 @default.
• W2120088319 hasConcept C55493867 @default.
• W2120088319 hasConcept C63479239 @default.
• W2120088319 hasConcept C80444323 @default.
• W2120088319 hasConceptScore W2120088319C104317684 @default.
• W2120088319 hasConceptScore W2120088319C111472728 @default.
• W2120088319 hasConceptScore W2120088319C11413529 @default.
• W2120088319 hasConceptScore W2120088319C119599485 @default.
• W2120088319 hasConceptScore W2120088319C126255220 @default.
• W2120088319 hasConceptScore W2120088319C127413603 @default.
• W2120088319 hasConceptScore W2120088319C138885662 @default.
• W2120088319 hasConceptScore W2120088319C154945302 @default.
• W2120088319 hasConceptScore W2120088319C17500928 @default.
• W2120088319 hasConceptScore W2120088319C185592680 @default.
• W2120088319 hasConceptScore W2120088319C25016198 @default.
• W2120088319 hasConceptScore W2120088319C2775924081 @default.
• W2120088319 hasConceptScore W2120088319C2780586882 @default.
• W2120088319 hasConceptScore W2120088319C31531917 @default.
• W2120088319 hasConceptScore W2120088319C33923547 @default.
• W2120088319 hasConceptScore W2120088319C41008148 @default.
• W2120088319 hasConceptScore W2120088319C47446073 @default.
• W2120088319 hasConceptScore W2120088319C4777664 @default.
• W2120088319 hasConceptScore W2120088319C55439883 @default.
• W2120088319 hasConceptScore W2120088319C55493867 @default.
• W2120088319 hasConceptScore W2120088319C63479239 @default.
• W2120088319 hasConceptScore W2120088319C80444323 @default.
• W2120088319 hasLocation W21200883191 @default.
• W2120088319 hasOpenAccess W2120088319 @default.
• W2120088319 hasPrimaryLocation W21200883191 @default.
• W2120088319 hasRelatedWork W2020883449 @default.
• W2120088319 hasRelatedWork W2031188261 @default.
• W2120088319 hasRelatedWork W2124110813 @default.
• W2120088319 hasRelatedWork W2763487042 @default.
• W2120088319 hasRelatedWork W3021103820 @default.
• W2120088319 hasRelatedWork W3035590440 @default.
• W2120088319 hasRelatedWork W3205267199 @default.

• next