Counting CTL - Laboratoire d'Informatique Algorithmique, Fondements et Applications
Communication Dans Un Congrès Année : 2010

Counting CTL

Résumé

This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying certain sub-formulas along paths. By selecting the combinations of Boolean and arithmetic operations allowed in constraints, one obtains several distinct logics generalizing CTL. We provide a thorough analysis of their expressiveness and of the complexity of their model-checking problem (ranging from P-complete to undecidable).

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
paper_41.pdf (226.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Antoine Meyer  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00681263

Soumis le : mercredi 21 mars 2012-09:43:56

Dernière modification le : jeudi 19 décembre 2024-16:50:03

Archivage à long terme le : vendredi 22 juin 2012-02:21:13

Télécharger pour visualiser

Dates et versions

hal-00681263 , version 1 (21-03-2012)

Identifiants

Citer

François Laroussinie, Antoine Meyer, Eudes Pétonnet. Counting CTL. FoSSaCS 2010, Mar 2010, Paphos, Cyprus. pp.206-220, ⟨10.1007/978-3-642-12032-9_15⟩. ⟨hal-00681263⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 ENPC CNRS UNIV-MLV LIAFA LIGM_ALGO INSMI PARISTECH LIGM LIGM_MOA UNIV-EIFFEL LIGM_BAAM
219 Consultations
247 Téléchargements

Altmetric

Partager

More