Timed temporal logics

Abstract : Since the early 1990's, classical temporal logics have been extended with timing constraints. While temporal logics only express contraints on the order of events, their timed extensions can add quantitative constraints on delays between those events. We survey expressive-ness and algorithmic results on those logics, and discuss semantic choices that may look unimportant but do have an impact on the questions we consider.
Type de document :
Chapitre d'ouvrage
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.211-230, 2017, Lecture Notes in Computer Science, 978-3-319-63120-2. 〈10.1007/978-3-319-63121-9_11 〉
Liste complète des métadonnées

Littérature citée [52 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01566439
Contributeur : Nicolas Markey <>
Soumis le : mardi 22 août 2017 - 11:19:37
Dernière modification le : jeudi 7 février 2019 - 14:22:40

Fichier

kimfest2017-BLMOW.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell. Timed temporal logics. Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.211-230, 2017, Lecture Notes in Computer Science, 978-3-319-63120-2. 〈10.1007/978-3-319-63121-9_11 〉. 〈hal-01566439〉

Partager

Métriques

Consultations de la notice

366

Téléchargements de fichiers

444