✦ LIBER ✦

Partial Order Reduction for Probabilistic Branching Time

✍ Scribed by Christel Baier; Pedro D'Argenio; Marcus Groesser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial-order Reduction Techniques for R

✍ Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 120 KB

The Satisfiability Problem for Probabili

✍ M. Agrawal; T. Thierauf 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 246 KB

Partial order reductions for failures re

✍ Heike Wehrheim 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 829 KB

Model checking for a probabilistic branc

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

Partial-order reduction for general stat

✍ Dragan Bošnački; Stefan Leue; Alberto Lluch Lafuente 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 418 KB

Solving the ignoring problem for partial

✍ Sami Evangelista; Christophe Pajault 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 720 KB