Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Résumé
This article aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [8,9]. The paper gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, the existence of winning strategies, and then statistical model checking.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...