✦ LIBER ✦

The efficiency of identifying timed automata and the power of clocks

✍ Scribed by Sicco Verwer; Mathijs de Weerdt; Cees Witteveen

Book ID: 113641956
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 562 KB
Volume: 209
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2010.11.023

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The power of reachability testing for ti

The power of reachability testing for timed automata

✍ Luca Aceto; Patricia Bouyer; Augusto Burgueño; Kim G Larsen 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 824 KB

The computational engine of the veriÿcation tool UPPAAL consists of a collection of e cient algorithms for the analysis of reachability properties of systems. Model-checking of properties other than plain reachability ones may currently be carried out in such a tool as follows. Given a property to m

Timed Petri nets and timed automata: On

Timed Petri nets and timed automata: On the discriminating power of zeno sequences

✍ Patricia Bouyer; Serge Haddad; Pierre-Alain Reynier 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 931 KB

Classes of Timed Automata and the Undeci

Classes of Timed Automata and the Undecidability of Universality

✍ Arnaldo V. Moura; Guilherme A. Pinto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Folk theorems on the determinization and

Folk theorems on the determinization and minimization of timed automata

✍ Stavros Tripakis 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 96 KB

Synthesising certificates in networks of

Synthesising certificates in networks of timed automata

✍ Finkbeiner, B.; Peter, H.-J.; Schewe, S. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 453 KB

An extension of the inverse method to pr

An extension of the inverse method to probabilistic timed automata

✍ Étienne André,Laurent Fribourg,Jeremy Sproston 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 971 KB