Parameterised Resource-Bounded ATL - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2020

Parameterised Resource-Bounded ATL

Résumé

It is often advantageous to be able to extract resource requirements in resource logics of strategic ability, rather than to verify whether a fixed resource requirement is sufficient for achieving a goal. We study Parameterised Resource-Bounded Alternating Time Temporal Logic where parameter extraction is possible. We give a parameter extraction algorithm and prove that the model checking problem is in 2EXPTIME.
Fichier principal
Vignette du fichier
ADL-AAAI2020.pdf (331.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03005859 , version 1 (14-11-2020)

Identifiants

  • HAL Id : hal-03005859 , version 1

Citer

Natasha Alechina, Stéphane Demri, Brian Logan. Parameterised Resource-Bounded ATL. The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, Feb 2020, New York, United States. ⟨hal-03005859⟩
51 Consultations
47 Téléchargements

Partager

More