Matches in SemOpenAlex for { <https://semopenalex.org/work/W4375852045> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4375852045 abstract "We present a flexible and efficient toolchain to symbolically solve (standard) Rabin games, fair-adversarial Rabin games, and 21/2-player Rabin games. To our best knowledge, our tools are the first ones to be able to solve these problems. Furthermore, using the optimized game solvers as back-end, we implement a tool for computing correct-by-construction controllers for stochastic dynamical systems with LTL specifications. An important feature of our toolchain is the flexibility created through two programming abstractions: one separates the symbolic fixpoint computations from the predecessor calculations, and the other one allows effortless switching between different BDD libraries. We empirically compare the benefits of using the CUDD and Sylvan BDD libraries, and report substantial computational savings of our tool compared to the state-of-the-art." @default.
- W4375852045 created "2023-05-10" @default.
- W4375852045 creator A5017334634 @default.
- W4375852045 creator A5028671895 @default.
- W4375852045 creator A5039498617 @default.
- W4375852045 creator A5081010207 @default.
- W4375852045 creator A5081483854 @default.
- W4375852045 date "2023-05-09" @default.
- W4375852045 modified "2023-10-16" @default.
- W4375852045 title "Poster Abstract: A Toolchain for Accelerated Symbolic Control" @default.
- W4375852045 cites W2982084088 @default.
- W4375852045 cites W3199195861 @default.
- W4375852045 doi "https://doi.org/10.1145/3575870.3589554" @default.
- W4375852045 hasPublicationYear "2023" @default.
- W4375852045 type Work @default.
- W4375852045 citedByCount "0" @default.
- W4375852045 crossrefType "proceedings-article" @default.
- W4375852045 hasAuthorship W4375852045A5017334634 @default.
- W4375852045 hasAuthorship W4375852045A5028671895 @default.
- W4375852045 hasAuthorship W4375852045A5039498617 @default.
- W4375852045 hasAuthorship W4375852045A5081010207 @default.
- W4375852045 hasAuthorship W4375852045A5081483854 @default.
- W4375852045 hasConcept C105795698 @default.
- W4375852045 hasConcept C110251889 @default.
- W4375852045 hasConcept C199360897 @default.
- W4375852045 hasConcept C2777062904 @default.
- W4375852045 hasConcept C2777904410 @default.
- W4375852045 hasConcept C2779639559 @default.
- W4375852045 hasConcept C2780598303 @default.
- W4375852045 hasConcept C33923547 @default.
- W4375852045 hasConcept C41008148 @default.
- W4375852045 hasConcept C48103436 @default.
- W4375852045 hasConcept C80444323 @default.
- W4375852045 hasConceptScore W4375852045C105795698 @default.
- W4375852045 hasConceptScore W4375852045C110251889 @default.
- W4375852045 hasConceptScore W4375852045C199360897 @default.
- W4375852045 hasConceptScore W4375852045C2777062904 @default.
- W4375852045 hasConceptScore W4375852045C2777904410 @default.
- W4375852045 hasConceptScore W4375852045C2779639559 @default.
- W4375852045 hasConceptScore W4375852045C2780598303 @default.
- W4375852045 hasConceptScore W4375852045C33923547 @default.
- W4375852045 hasConceptScore W4375852045C41008148 @default.
- W4375852045 hasConceptScore W4375852045C48103436 @default.
- W4375852045 hasConceptScore W4375852045C80444323 @default.
- W4375852045 hasFunder F4320320879 @default.
- W4375852045 hasFunder F4320334627 @default.
- W4375852045 hasFunder F4320334678 @default.
- W4375852045 hasLocation W43758520451 @default.
- W4375852045 hasOpenAccess W4375852045 @default.
- W4375852045 hasPrimaryLocation W43758520451 @default.
- W4375852045 hasRelatedWork W1485738864 @default.
- W4375852045 hasRelatedWork W1583364777 @default.
- W4375852045 hasRelatedWork W2137908418 @default.
- W4375852045 hasRelatedWork W2143744897 @default.
- W4375852045 hasRelatedWork W2144517099 @default.
- W4375852045 hasRelatedWork W2151898527 @default.
- W4375852045 hasRelatedWork W2308615245 @default.
- W4375852045 hasRelatedWork W2788685475 @default.
- W4375852045 hasRelatedWork W2899100898 @default.
- W4375852045 hasRelatedWork W4232884709 @default.
- W4375852045 isParatext "false" @default.
- W4375852045 isRetracted "false" @default.
- W4375852045 workType "article" @default.