Timed temporal logics
Résumé
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...