Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification - Université Paris-Est-Créteil-Val-de-Marne
Communication Dans Un Congrès Année : 2018

Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification

Résumé

In this paper we advance the state of the art on the subject of bisimulations for logics of strategies. Bisimulations are a key notion to study the expressive power of a modal language, as well as for applications to system verification. In this contribution we present novel notions of bisimulation for several significant fragments of Strategy Logic (SL), and prove that they preserve the interpretation of formulas in the corresponding fragments. In selected cases we are able to prove that such bisimulations enjoy the Hennessy-Milner property. Finally, we make use of bisimulations to study the expressiveness of the various fragment of SL, including the complexity of their model checking problems.
Fichier principal
Vignette du fichier
17992-78665-1-PB.pdf (677.87 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt

Dates et versions

hal-04572107 , version 1 (30-09-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-04572107 , version 1

Citer

Francesco Belardinelli, Catalin Dima, Aniello Murano. Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Oct 2018, Tempe, Arizona, United States. pp.425--434. ⟨hal-04572107⟩
65 Consultations
5 Téléchargements

Partager

More