Matches in SemOpenAlex for { <https://semopenalex.org/work/W88515723> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W88515723 endingPage "114" @default.
- W88515723 startingPage "100" @default.
- W88515723 abstract "Control synthesis techniques, based on timed games, derive strategies to ensure a given control objective, e.g., time-bounded reachability. Model checking verifies correctness properties of systems. Statistical model checking can be used to analyse performance aspects of systems, e.g., energy consumption. In this work, we propose to combine these three techniques. In particular, given a strategy synthesized for a timed game and a given control objective, we want to make a deeper examination of the consequences of adopting this strategy. Firstly, we want to apply model checking to the timed game under the synthesized strategy in order to verify additional correctness properties. Secondly, we want to apply statistical model checking to evaluate various performance aspects of the synthesized strategy. For this, the underlying timed game is extended with relevant price and stochastic information. We first explain the principle of translating a strategy produced by Uppaal-tiga into a timed automaton, thus enabling the deeper examination. However, our main contribution is a new extension of Uppaal that automatically synthesizes a strategy of a timed game for a given control objective, then verifies and evaluates this strategy with respect to additional properties. We demonstrate the usefulness of this new branch of Uppaal using two case-studies." @default.
- W88515723 created "2016-06-24" @default.
- W88515723 creator A5024475534 @default.
- W88515723 creator A5049454570 @default.
- W88515723 creator A5064167555 @default.
- W88515723 creator A5069362159 @default.
- W88515723 date "2014-01-01" @default.
- W88515723 modified "2023-10-17" @default.
- W88515723 title "Verification and Performance Evaluation of Timed Game Strategies" @default.
- W88515723 cites W1563355994 @default.
- W88515723 cites W1599995366 @default.
- W88515723 cites W1863150103 @default.
- W88515723 cites W1962072139 @default.
- W88515723 cites W2101508170 @default.
- W88515723 cites W2139101939 @default.
- W88515723 cites W2142718416 @default.
- W88515723 cites W2144965436 @default.
- W88515723 cites W2150220388 @default.
- W88515723 cites W2163626018 @default.
- W88515723 cites W2171808413 @default.
- W88515723 cites W296769721 @default.
- W88515723 doi "https://doi.org/10.1007/978-3-319-10512-3_8" @default.
- W88515723 hasPublicationYear "2014" @default.
- W88515723 type Work @default.
- W88515723 sameAs 88515723 @default.
- W88515723 citedByCount "8" @default.
- W88515723 countsByYear W885157232015 @default.
- W88515723 countsByYear W885157232016 @default.
- W88515723 countsByYear W885157232017 @default.
- W88515723 countsByYear W885157232019 @default.
- W88515723 countsByYear W885157232021 @default.
- W88515723 countsByYear W885157232022 @default.
- W88515723 crossrefType "book-chapter" @default.
- W88515723 hasAuthorship W88515723A5024475534 @default.
- W88515723 hasAuthorship W88515723A5049454570 @default.
- W88515723 hasAuthorship W88515723A5064167555 @default.
- W88515723 hasAuthorship W88515723A5069362159 @default.
- W88515723 hasConcept C110251889 @default.
- W88515723 hasConcept C112505250 @default.
- W88515723 hasConcept C136643341 @default.
- W88515723 hasConcept C154945302 @default.
- W88515723 hasConcept C199360897 @default.
- W88515723 hasConcept C2775924081 @default.
- W88515723 hasConcept C41008148 @default.
- W88515723 hasConcept C55439883 @default.
- W88515723 hasConcept C80444323 @default.
- W88515723 hasConceptScore W88515723C110251889 @default.
- W88515723 hasConceptScore W88515723C112505250 @default.
- W88515723 hasConceptScore W88515723C136643341 @default.
- W88515723 hasConceptScore W88515723C154945302 @default.
- W88515723 hasConceptScore W88515723C199360897 @default.
- W88515723 hasConceptScore W88515723C2775924081 @default.
- W88515723 hasConceptScore W88515723C41008148 @default.
- W88515723 hasConceptScore W88515723C55439883 @default.
- W88515723 hasConceptScore W88515723C80444323 @default.
- W88515723 hasLocation W885157231 @default.
- W88515723 hasOpenAccess W88515723 @default.
- W88515723 hasPrimaryLocation W885157231 @default.
- W88515723 hasRelatedWork W1866043924 @default.
- W88515723 hasRelatedWork W2109726629 @default.
- W88515723 hasRelatedWork W2116391427 @default.
- W88515723 hasRelatedWork W2123023809 @default.
- W88515723 hasRelatedWork W2162248491 @default.
- W88515723 hasRelatedWork W2296663577 @default.
- W88515723 hasRelatedWork W2405576261 @default.
- W88515723 hasRelatedWork W2499128759 @default.
- W88515723 hasRelatedWork W38902447 @default.
- W88515723 hasRelatedWork W88515723 @default.
- W88515723 isParatext "false" @default.
- W88515723 isRetracted "false" @default.
- W88515723 magId "88515723" @default.
- W88515723 workType "book-chapter" @default.