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

Counting LTL

Résumé

This paper presents a quantitative extension for the linear-time temporal logic LTL allowing to specify the number of states satisfying certain sub-formulas along paths. We give decision procedures for the satisfiability and model checking of this new temporal logic and study the complexity of the corresponding problems. Furthermore we show that the problems become undecidable when more expressive constraints are considered.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
main.pdf (203.25 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-00681267

Soumis le : mercredi 21 mars 2012-09:55:38

Dernière modification le : jeudi 16 mai 2024-15:00:04

Archivage à long terme le : mercredi 14 décembre 2016-17:18:01

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

François Laroussinie, Antoine Meyer, Eudes Petonnet. Counting LTL. TIME 2010, Sep 2010, Paris, France. p. 51-58, ⟨10.1109/TIME.2010.20⟩. ⟨hal-00681267⟩

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
267 Consultations
428 Téléchargements

Altmetric

Partager

More