A Turn-Based Approach for Qualitative Time Concurrent Games - Concurrence et distribué
Communication Dans Un Congrès Année : 2021

A Turn-Based Approach for Qualitative Time Concurrent Games

Résumé

We address concurrent games with a qualitative notion of time with parity objectives. This setting allows to express how potential controllers interact with their environment and more specifically includes relevant features: transient states where the environment will eventually act, controller avoiding of an environment action either by an immediate controller action or by masking it, etc. In order to solve the controller synthesis in this framework, we design a linear-time building of a timeless turn-based game and show a close connection between strategies of the controller in the two games. Thus we reduce the synthesis problem to a standard problem of turn-based game with parity objectives establishing as a side effect that pure memoryless strategies are enough for winning. Moreover we introduce permissiveness for safety and reachability games as a criterion to choose between winning strategies and prove that one can compute a most permissive strategy (when it exists) in linear time.
Fichier principal
Vignette du fichier
haddad-ICATPN-21.pdf (398.27 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03561748 , version 1 (08-02-2022)

Identifiants

Citer

Serge Haddad, Didier Lime, Olivier H Roux. A Turn-Based Approach for Qualitative Time Concurrent Games. PETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.76-92, ⟨10.1007/978-3-030-76983-3_5⟩. ⟨hal-03561748⟩
129 Consultations
82 Téléchargements

Altmetric

Partager

More