- Model checking expected time and expected reward formulae with random time bounds M. Kwiatkowska G. Norman A. Pacheco Wed 28 December 2022
- CSL model checking algorithms for QBDs Anne Remke Boudewijn R. Haverkort Lucia Cloth Mon 26 December 2022
- A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs Mahmoud Salamati Sadegh Soudjani Rupak Majumdar Fri 04 September 2020
- Time-bounded model checking of infinite-state continuous-time Markov chains Lijun Zhang H. Hermanns E. Moritz Hahn B. Wachter Mon 10 December 2012
- Time-Bounded Reachability in Tree-Structured QBDs by Abstraction Daniel Klink Anne Remke Boudewijn R. Haverkort Joost-Pieter Katoen Fri 07 December 2012
Library Size: 13G (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
