✦ LIBER ✦

Branching-time model-checking of probabilistic pushdown automata

✍ Scribed by Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking probabilistic systems aga

✍ Clemens Dubslaff; Christel Baier; Manuela Berg 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 242 KB

Language equivalence of probabilistic pu

✍ Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 317 KB

Model checking for a probabilistic branc

✍ Christel Baier; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

Linear parametric model checking of time

✍ Thomas Hune; Judi Romijn; Mariëlle Stoelinga; Frits Vaandrager 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Weighted Timed Automata: Model-Checking

✍ Patricia Bouyer 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 283 KB

On model-checking timed automata with st

✍ Thomas Brihaye; Véronique Bruyère; Jean-François Raskin 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 623 KB