✦ LIBER ✦

Statistical probabilistic model checking with a focus on time-bounded properties

✍ Scribed by Håkan L.S. Younes; Reid G. Simmons

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking for a probabilistic branc

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

A probabilistic inventory model for dete

✍ Upendra Dave; Y.K. Shah 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 449 KB

Impacts of ocean CO2disposal on marine l

✍ Jennifer A. Caulfield; E. Eric Adams; David I. Auerbach; Howard J. Herzog 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 386 KB

A multi-objective wholesaler–retailers i

✍ M. Rong; N.K. Mahapatra; M. Maiti 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 437 KB

Some results on the statistical properti

✍ Michael Thomson 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 807 KB

Cervical Ripening : A rat model for inve

✍ Ulla Breth Knudsen 📂 Article 📅 1996 🏛 Informa plc 🌐 English ⚖ 211 KB