Reasoning About Dynamic Game Models Using Obstruction Logic (short paper) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Reasoning About Dynamic Game Models Using Obstruction Logic (short paper)

Résumé

Games played within dynamic models have been explored in various domains, including cybersecurity and planning. Our paper introduces Obstruction Logic, a formalism designed for analyzing specific games featuring temporal objectives, which unfold within dynamic models. These games involve players whose actions can impact the underlying game model. We demonstrate how this logic can be employed to express significant properties within the realm of cybersecurity games, particularly those defined on attack graphs. An expanded version of our research has been published in ECAI 2023.
Fichier principal
Vignette du fichier
paper13_SPIRIT03.pdf (309.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04427546 , version 1 (31-01-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04427546 , version 1

Citer

Davide Catta, Jean Leneutre, Vadim Malvone. Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). IPS-RCRA-SPIRIT@AI*IA, Nov 2023, Rome, Italy. ⟨hal-04427546⟩
28 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More