Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288593313> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4288593313 abstract "Stochastic multiplayer games (SMGs) have gained attention in the field of strategy synthesis for multi-agent reactive systems. However, standard SMGs are limited to modeling systems where all agents have full knowledge of the state of the game. In this paper, we introduce delayed-action games (DAGs) formalism that simulates hidden-information games (HIGs) as SMGs, where hidden information is captured by delaying a player's actions. The elimination of private variables enables the usage of SMG off-the-shelf model checkers to implement HIGs. Furthermore, we demonstrate how a DAG can be decomposed into subgames that can be independently explored, utilizing parallel computation to reduce the model checking time, while alleviating the state space explosion problem that SMGs are notorious for. In addition, we propose a DAG-based framework for strategy synthesis and analysis. Finally, we demonstrate applicability of the DAG-based synthesis framework on a case study of a human-on-the-loop unmanned-aerial vehicle system under stealthy attacks, where the proposed framework is used to formally model, analyze and synthesize security-aware strategies for the system." @default.
- W4288593313 created "2022-07-29" @default.
- W4288593313 creator A5006106545 @default.
- W4288593313 creator A5079594267 @default.
- W4288593313 creator A5086742584 @default.
- W4288593313 date "2019-02-12" @default.
- W4288593313 modified "2023-10-18" @default.
- W4288593313 title "Security-Aware Synthesis Using Delayed-Action Games" @default.
- W4288593313 doi "https://doi.org/10.48550/arxiv.1902.04618" @default.
- W4288593313 hasPublicationYear "2019" @default.
- W4288593313 type Work @default.
- W4288593313 citedByCount "0" @default.
- W4288593313 crossrefType "posted-content" @default.
- W4288593313 hasAuthorship W4288593313A5006106545 @default.
- W4288593313 hasAuthorship W4288593313A5079594267 @default.
- W4288593313 hasAuthorship W4288593313A5086742584 @default.
- W4288593313 hasBestOaLocation W42885933131 @default.
- W4288593313 hasConcept C110251889 @default.
- W4288593313 hasConcept C120314980 @default.
- W4288593313 hasConcept C121332964 @default.
- W4288593313 hasConcept C142362112 @default.
- W4288593313 hasConcept C153349607 @default.
- W4288593313 hasConcept C199360897 @default.
- W4288593313 hasConcept C2780791683 @default.
- W4288593313 hasConcept C41008148 @default.
- W4288593313 hasConcept C48103436 @default.
- W4288593313 hasConcept C558565934 @default.
- W4288593313 hasConcept C62520636 @default.
- W4288593313 hasConcept C73301696 @default.
- W4288593313 hasConcept C80444323 @default.
- W4288593313 hasConceptScore W4288593313C110251889 @default.
- W4288593313 hasConceptScore W4288593313C120314980 @default.
- W4288593313 hasConceptScore W4288593313C121332964 @default.
- W4288593313 hasConceptScore W4288593313C142362112 @default.
- W4288593313 hasConceptScore W4288593313C153349607 @default.
- W4288593313 hasConceptScore W4288593313C199360897 @default.
- W4288593313 hasConceptScore W4288593313C2780791683 @default.
- W4288593313 hasConceptScore W4288593313C41008148 @default.
- W4288593313 hasConceptScore W4288593313C48103436 @default.
- W4288593313 hasConceptScore W4288593313C558565934 @default.
- W4288593313 hasConceptScore W4288593313C62520636 @default.
- W4288593313 hasConceptScore W4288593313C73301696 @default.
- W4288593313 hasConceptScore W4288593313C80444323 @default.
- W4288593313 hasLocation W42885933131 @default.
- W4288593313 hasOpenAccess W4288593313 @default.
- W4288593313 hasPrimaryLocation W42885933131 @default.
- W4288593313 hasRelatedWork W137456412 @default.
- W4288593313 hasRelatedWork W1503071078 @default.
- W4288593313 hasRelatedWork W1517483046 @default.
- W4288593313 hasRelatedWork W1749129787 @default.
- W4288593313 hasRelatedWork W2026751635 @default.
- W4288593313 hasRelatedWork W2034873935 @default.
- W4288593313 hasRelatedWork W2740071458 @default.
- W4288593313 hasRelatedWork W2769276869 @default.
- W4288593313 hasRelatedWork W2982502671 @default.
- W4288593313 hasRelatedWork W4287202536 @default.
- W4288593313 isParatext "false" @default.
- W4288593313 isRetracted "false" @default.
- W4288593313 workType "article" @default.