✦ LIBER ✦

Compositional probabilistic verification through multi-objective model checking

✍ Scribed by Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Probabilistic verification of a biodiese

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

Computation of a multi-objective product

✍ Sahoo, N. P.; Biswal, M. P. 📂 Article 📅 2009 🏛 Taylor and Francis Group 🌐 English ⚖ 139 KB

A probabilistic model with multi-dimensi

✍ Jing Wang, Zhijing Liu, Hui Zhao 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 557 KB

Probabilistic multi-objective optimal de

✍ Sankaran, Adarsh; Manne, Janga Reddy 📂 Article 📅 2013 🏛 International Association of Hydraulic Engineering 🌐 French ⚖ 256 KB

[Lecture Notes in Computer Science] Veri

✍ Jhala, Ranjit; Schmidt, David 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 279 KB

Automatic verification of multi-agent sy

✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 234 KB