Temporal Logic with Forgettable Past - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Temporal Logic with Forgettable Past

Résumé

We investigate NLTL, a linear-time temporal logic with forgettable past. NLTL can be exponentially more succinct than LTL + Past (which in turn can be more succinct than LTL). We study satisfiability and model checking for NLTL and provide optimal automata-theoretic algorithms for these EXPSPACE-complete problems.
Fichier principal
Vignette du fichier
LMS-lics2002.pdf (166.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01194631 , version 1 (07-09-2015)

Identifiants

Citer

François Laroussinie, Nicolas Markey, Philippe Schnoebelen. Temporal Logic with Forgettable Past. Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02), 2002, Copenhagen, Denmark. pp.383-392, ⟨10.1109/LICS.2002.1029846⟩. ⟨hal-01194631⟩
45 Consultations
183 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More