✦ LIBER ✦

Weighted Timed Automata: Model-Checking and Games

✍ Scribed by Patricia Bouyer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded Model Checking with SNF, Alterna

✍ Daniel Sheridan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB

Pushdown Processes: Games and Model-Chec

✍ Igor Walukiewicz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 265 KB

A new model for model checking: cycle-we

✍ Zhu, Jiaqi ;Wang, Hanpin ;Xu, Zhongyuan ;Xu, Chunxiang 📂 Article 📅 2010 🏛 Higher Education Press and Springer 🌐 English ⚖ 170 KB

How to Verify a Safe Real-Time System: T

✍ A. Burns 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 557 KB

CONGESTION MODELS AND WEIGHTED BAYESIAN

✍ Giovanni Facchini; Freek van Megen; Peter Borm; Stef Tijs 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 194 KB

Bounded model checking for knowledge and

✍ Alessio Lomuscio; Wojciech Penczek; Bożena Woźna 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 842 KB