✦ LIBER ✦

Model checking for a probabilistic branching time logic with fairness

✍ Scribed by Christel Baier; Marta Kwiatkowska

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Polytime model checking for timed probab

✍ Danièle Beauquier; Anatol Slissenko 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 204 KB

A Sat-Based Approach to Unbounded Model

✍ M. Kacprzak; W. Penczek 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 210 KB

A probabilistic scheduling period invent

✍ U. Dave 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 411 KB

A probabilistic inventory model for dete

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