✦ LIBER ✦

Quantitative Analysis With the Probabilistic Model Checker PRISM

✍ Scribed by Marta Kwiatkowska; Gethin Norman; David Parker

Book ID: 108126594
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 495 KB
Volume: 153
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.10.030

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The ins and outs of the probabilistic mo

The ins and outs of the probabilistic model checker MRMC

✍ Joost-Pieter Katoen; Ivan S. Zapreev; Ernst Moritz Hahn; Holger Hermanns; David 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 669 KB

Probabilistic symbolic model checking wi

Probabilistic symbolic model checking with PRISM: a hybrid approach

✍ Marta Kwiatkowska; Gethin Norman; David Parker 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 405 KB

Analysis of composite gestures with a co

Analysis of composite gestures with a coherent probabilistic graphical model

✍ Jason J. Corso; Guangqi Ye; Gregory D. Hager 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 143 KB

Analysis of composite gestures with a co

Analysis of composite gestures with a coherent probabilistic graphical model

✍ Jason J. Corso; Guangqi Ye; Gregory D. Hager 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 440 KB

[IEEE 2013 10th International ISC Confer

[IEEE 2013 10th International ISC Conference on Information Security and Cryptology (ISCISC) - Yazd, Iran (2013.08.29-2013.08.30)] 2013 10th International ISC Conference on Information Security and Cryptology (ISCISC) - Quantitative verification of beta reputation system using PRISM probabilistic model checker

✍ Bidgoly, Amir Jalaly; Ladani, Behrouz Tork 📂 Article 📅 2013 🏛 IEEE ⚖ 304 KB

Improved seismic hazard model with appli

Improved seismic hazard model with application to probabilistic seismic demand analysis

✍ Brendon A. Bradley; Rajesh P. Dhakal; Misko Cubrinovski; John B. Mander; Greg A. 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 336 KB

## Abstract An improved seismic hazard model for use in performance‐based earthquake engineering is presented. The model is an improved approximation from the so‐called ‘power law’ model, which is linear in log–log space. The mathematics of the model and uncertainty incorporation is briefly discuss