Reasoning About Dynamic Game Models Using Obstruction Logic (short paper) - Archive ouverte HAL Access content directly
Conference Papers Year : 2023

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

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution

Identifiers

  • HAL Id : hal-04427546 , version 1

Cite

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⟩
39 View
22 Download

Share

Gmail Facebook X LinkedIn More