✦ LIBER ✦

Probabilistic symbolic model checking with PRISM: a hybrid approach

✍ Scribed by Marta Kwiatkowska; Gethin Norman; David Parker

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Direct Symbolic Approach to Model Chec

✍ Alain Finkel; Bernard Willems; Pierre Wolper 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 586 KB

Model checking for a probabilistic branc

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

Aligning music audio with symbolic score

✍ Christopher Raphael 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 574 KB

Chemical plant fault diagnosis through a

✍ B. Özyurt; A.K Sunol; M.C. Çamurdan; P. Mogili; L.O. Hall 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 548 KB

Model-based Predictive Control of Hybrid

✍ Boštjan Potočnik; Gašper Mušič; Igor Škrjanc; Borut Zupančič 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 787 KB

A hybrid energy approach for vibrational

✍ K.M. Liew 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 709 KB