Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models

Résumé

Games that are played in a dynamic model have been studied in several contexts, such as cybersecurity and planning. In this paper, we introduce a logic for reasoning about a particular class of games with temporal goals played in a dynamic model. In such games, the actions of a player can modify the game model itself. We show that the model-checking problem for our logic is decidable in polynomial-time. Then, using this logic, we show how to express interesting properties of cybersecurity games defined on attack graphs.

Dates et versions

hal-04336248 , version 1 (11-12-2023)

Identifiants

Citer

Davide Catta, Jean Leneutre, Vadim Malvone. Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. ECAI, Sep 2023, Kracow, Poland. pp.365 - 372, ⟨10.3233/FAIA230292⟩. ⟨hal-04336248⟩
45 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More