✦ LIBER ✦

Numerical vs. statistical probabilistic model checking

✍ Scribed by Håkan L. S. Younes; Marta Kwiatkowska; Gethin Norman; David Parker

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Statistical probabilistic model checking

✍ Håkan L.S. Younes; Reid G. Simmons 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 606 KB

Probabilistic verification of a biodiese

✍ Riley, D.D.; Koutsoukos, X. 📂 Article 📅 2013 🏛 Taylor and Francis Group 🌐 English ⚖ 517 KB

Model checking probabilistic systems aga

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

Using probabilistic model checking for d

✍ Gethin Norman; David Parker; Marta Kwiatkowska; Sandeep Shukla; Rajesh Gupta 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 378 KB

Branching-time model-checking of probabi

✍ Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Compositional probabilistic verification

✍ Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 641 KB