FRINK Linked Data Fragments server

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

• W29925209 abstract "We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability games. The combination is based on abstraction refinement where discrete symbolic techniques are used to produce a sequence of abstract timed game automata. After each refinement step, the resulting abstraction is used for computing an under- and an over-approximation of the timed winning states. The key idea is to identify large relevant and irrelevant parts of the precise weakest winning strategy already on coarse, and therefore simple, abstractions. If neither the existence nor nonexistence of a winning strategy can be established in the approximations, we use them to guide the refinement process. Based on a prototype that combines binary decision diagrams [7,9] and difference bound matrices [5], we experimentally evaluate the technique on standard benchmarks from timed controller synthesis. The results clearly demonstrate the potential of the new approach concerning running time and memory consumption compared to the classical on-the-fly algorithm implemented in UPPAAL-TIGA [10,4]." @default.
• W29925209 created "2016-06-24" @default.
• W29925209 creator A5029017703 @default.
• W29925209 creator A5038533300 @default.
• W29925209 creator A5050112206 @default.
• W29925209 date "2010-01-01" @default.
• W29925209 modified "2023-09-23" @default.
• W29925209 title "Combining Symbolic Representations for Solving Timed Games" @default.
• W29925209 cites W1515174179 @default.
• W29925209 cites W1599995366 @default.
• W29925209 cites W1606824214 @default.
• W29925209 cites W1607705647 @default.
• W29925209 cites W172859451 @default.
• W29925209 cites W1937686558 @default.
• W29925209 cites W2057842062 @default.
• W29925209 cites W2061438988 @default.
• W29925209 cites W2080267935 @default.
• W29925209 cites W2101508170 @default.
• W29925209 cites W2139101939 @default.
• W29925209 cites W2144965436 @default.
• W29925209 cites W2148038756 @default.
• W29925209 cites W2493860389 @default.
• W29925209 doi "https://doi.org/10.1007/978-3-642-15297-9_10" @default.
• W29925209 hasPublicationYear "2010" @default.
• W29925209 type Work @default.
• W29925209 sameAs 29925209 @default.
• W29925209 citedByCount "12" @default.
• W29925209 countsByYear W299252092012 @default.
• W29925209 countsByYear W299252092014 @default.
• W29925209 countsByYear W299252092015 @default.
• W29925209 countsByYear W299252092018 @default.
• W29925209 countsByYear W299252092019 @default.
• W29925209 crossrefType "book-chapter" @default.
• W29925209 hasAuthorship W29925209A5029017703 @default.
• W29925209 hasAuthorship W29925209A5038533300 @default.
• W29925209 hasAuthorship W29925209A5050112206 @default.
• W29925209 hasBestOaLocation W299252092 @default.
• W29925209 hasConcept C105795698 @default.
• W29925209 hasConcept C110251889 @default.
• W29925209 hasConcept C111472728 @default.
• W29925209 hasConcept C112505250 @default.
• W29925209 hasConcept C11413529 @default.
• W29925209 hasConcept C124304363 @default.
• W29925209 hasConcept C136643341 @default.
• W29925209 hasConcept C138885662 @default.
• W29925209 hasConcept C199360897 @default.
• W29925209 hasConcept C26517878 @default.
• W29925209 hasConcept C2777669093 @default.
• W29925209 hasConcept C2778112365 @default.
• W29925209 hasConcept C2780586882 @default.
• W29925209 hasConcept C3309909 @default.
• W29925209 hasConcept C33923547 @default.
• W29925209 hasConcept C38652104 @default.
• W29925209 hasConcept C41008148 @default.
• W29925209 hasConcept C48103436 @default.
• W29925209 hasConcept C54355233 @default.
• W29925209 hasConcept C72434380 @default.
• W29925209 hasConcept C80444323 @default.
• W29925209 hasConcept C86803240 @default.
• W29925209 hasConcept C98045186 @default.
• W29925209 hasConceptScore W29925209C105795698 @default.
• W29925209 hasConceptScore W29925209C110251889 @default.
• W29925209 hasConceptScore W29925209C111472728 @default.
• W29925209 hasConceptScore W29925209C112505250 @default.
• W29925209 hasConceptScore W29925209C11413529 @default.
• W29925209 hasConceptScore W29925209C124304363 @default.
• W29925209 hasConceptScore W29925209C136643341 @default.
• W29925209 hasConceptScore W29925209C138885662 @default.
• W29925209 hasConceptScore W29925209C199360897 @default.
• W29925209 hasConceptScore W29925209C26517878 @default.
• W29925209 hasConceptScore W29925209C2777669093 @default.
• W29925209 hasConceptScore W29925209C2778112365 @default.
• W29925209 hasConceptScore W29925209C2780586882 @default.
• W29925209 hasConceptScore W29925209C3309909 @default.
• W29925209 hasConceptScore W29925209C33923547 @default.
• W29925209 hasConceptScore W29925209C38652104 @default.
• W29925209 hasConceptScore W29925209C41008148 @default.
• W29925209 hasConceptScore W29925209C48103436 @default.
• W29925209 hasConceptScore W29925209C54355233 @default.
• W29925209 hasConceptScore W29925209C72434380 @default.
• W29925209 hasConceptScore W29925209C80444323 @default.
• W29925209 hasConceptScore W29925209C86803240 @default.
• W29925209 hasConceptScore W29925209C98045186 @default.
• W29925209 hasLocation W299252091 @default.
• W29925209 hasLocation W299252092 @default.
• W29925209 hasOpenAccess W29925209 @default.
• W29925209 hasPrimaryLocation W299252091 @default.
• W29925209 hasRelatedWork W117556101 @default.
• W29925209 hasRelatedWork W1481934897 @default.
• W29925209 hasRelatedWork W1507131114 @default.
• W29925209 hasRelatedWork W1599995366 @default.
• W29925209 hasRelatedWork W1962072139 @default.
• W29925209 hasRelatedWork W2062787735 @default.
• W29925209 hasRelatedWork W2101508170 @default.
• W29925209 hasRelatedWork W2137277749 @default.
• W29925209 hasRelatedWork W2144965436 @default.
• W29925209 hasRelatedWork W2260592993 @default.
• W29925209 hasRelatedWork W2482302655 @default.
• W29925209 hasRelatedWork W2617636783 @default.
• W29925209 hasRelatedWork W2625519638 @default.

• next