Matches in SemOpenAlex for { <https://semopenalex.org/work/W3195050943> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3195050943 abstract "Timed games are an essential formalism for modeling time-sensitive reactive systems that must respond to uncontrollable events triggered by the (hostile) environment. However, the control synthesis problem for these systems is often resource-demanding due to the state space explosion problem. To counter this problem, we present an extension of partial order reduction, based on stubborn sets, into timed games. We introduce the theoretical foundations on the general formalism of timed game labeled transition systems and then instantiate it to the model of timed-arc Petri net games. We provide an efficient implementation of our method as part of the model checker TAPAAL and discuss an experimental evaluation on several case studies that show increasing (sometimes even exponential) savings in time and memory as the case studies scale to larger instances. To the best of our knowledge, this is the first application of partial order reductions to a game formalism that includes time ." @default.
- W3195050943 created "2021-08-30" @default.
- W3195050943 creator A5009728620 @default.
- W3195050943 creator A5028307375 @default.
- W3195050943 creator A5030629894 @default.
- W3195050943 creator A5069362159 @default.
- W3195050943 creator A5081945299 @default.
- W3195050943 date "2021-01-01" @default.
- W3195050943 modified "2023-10-18" @default.
- W3195050943 title "Stubborn Set Reduction for Timed Reachability and Safety Games" @default.
- W3195050943 cites W1528441743 @default.
- W3195050943 cites W1555686915 @default.
- W3195050943 cites W1560730347 @default.
- W3195050943 cites W1569472116 @default.
- W3195050943 cites W1604838600 @default.
- W3195050943 cites W160689082 @default.
- W3195050943 cites W167751234 @default.
- W3195050943 cites W1861370427 @default.
- W3195050943 cites W1934074768 @default.
- W3195050943 cites W1965309410 @default.
- W3195050943 cites W1966214573 @default.
- W3195050943 cites W1968552123 @default.
- W3195050943 cites W1984616519 @default.
- W3195050943 cites W1984957636 @default.
- W3195050943 cites W2016300863 @default.
- W3195050943 cites W2025782239 @default.
- W3195050943 cites W2036526834 @default.
- W3195050943 cites W2062081943 @default.
- W3195050943 cites W2079420020 @default.
- W3195050943 cites W2093320800 @default.
- W3195050943 cites W2093709900 @default.
- W3195050943 cites W2105859895 @default.
- W3195050943 cites W2123910665 @default.
- W3195050943 cites W22784387 @default.
- W3195050943 cites W2328916847 @default.
- W3195050943 cites W2415404324 @default.
- W3195050943 cites W2512806456 @default.
- W3195050943 cites W2608472981 @default.
- W3195050943 cites W2757222201 @default.
- W3195050943 cites W2775713557 @default.
- W3195050943 cites W2884909450 @default.
- W3195050943 cites W2970425440 @default.
- W3195050943 cites W3016583929 @default.
- W3195050943 doi "https://doi.org/10.1007/978-3-030-85037-1_3" @default.
- W3195050943 hasPublicationYear "2021" @default.
- W3195050943 type Work @default.
- W3195050943 sameAs 3195050943 @default.
- W3195050943 citedByCount "0" @default.
- W3195050943 crossrefType "book-chapter" @default.
- W3195050943 hasAuthorship W3195050943A5009728620 @default.
- W3195050943 hasAuthorship W3195050943A5028307375 @default.
- W3195050943 hasAuthorship W3195050943A5030629894 @default.
- W3195050943 hasAuthorship W3195050943A5069362159 @default.
- W3195050943 hasAuthorship W3195050943A5081945299 @default.
- W3195050943 hasConcept C110251889 @default.
- W3195050943 hasConcept C120314980 @default.
- W3195050943 hasConcept C136643341 @default.
- W3195050943 hasConcept C142362112 @default.
- W3195050943 hasConcept C153349607 @default.
- W3195050943 hasConcept C197551870 @default.
- W3195050943 hasConcept C2777669093 @default.
- W3195050943 hasConcept C38677869 @default.
- W3195050943 hasConcept C41008148 @default.
- W3195050943 hasConcept C558565934 @default.
- W3195050943 hasConcept C73301696 @default.
- W3195050943 hasConcept C80444323 @default.
- W3195050943 hasConcept C94633896 @default.
- W3195050943 hasConceptScore W3195050943C110251889 @default.
- W3195050943 hasConceptScore W3195050943C120314980 @default.
- W3195050943 hasConceptScore W3195050943C136643341 @default.
- W3195050943 hasConceptScore W3195050943C142362112 @default.
- W3195050943 hasConceptScore W3195050943C153349607 @default.
- W3195050943 hasConceptScore W3195050943C197551870 @default.
- W3195050943 hasConceptScore W3195050943C2777669093 @default.
- W3195050943 hasConceptScore W3195050943C38677869 @default.
- W3195050943 hasConceptScore W3195050943C41008148 @default.
- W3195050943 hasConceptScore W3195050943C558565934 @default.
- W3195050943 hasConceptScore W3195050943C73301696 @default.
- W3195050943 hasConceptScore W3195050943C80444323 @default.
- W3195050943 hasConceptScore W3195050943C94633896 @default.
- W3195050943 hasLocation W31950509431 @default.
- W3195050943 hasOpenAccess W3195050943 @default.
- W3195050943 hasPrimaryLocation W31950509431 @default.
- W3195050943 hasRelatedWork W1035038 @default.
- W3195050943 hasRelatedWork W11326594 @default.
- W3195050943 hasRelatedWork W11785674 @default.
- W3195050943 hasRelatedWork W13579519 @default.
- W3195050943 hasRelatedWork W1745298 @default.
- W3195050943 hasRelatedWork W4476426 @default.
- W3195050943 hasRelatedWork W4868912 @default.
- W3195050943 hasRelatedWork W59226 @default.
- W3195050943 hasRelatedWork W6618575 @default.
- W3195050943 hasRelatedWork W9733037 @default.
- W3195050943 isParatext "false" @default.
- W3195050943 isRetracted "false" @default.
- W3195050943 magId "3195050943" @default.
- W3195050943 workType "book-chapter" @default.