- Markov and Markov reward model transient analysis: An overview of numerical approaches Andrew Reibman Roger Smith Kishor Trivedi Mon 26 December 2022
- Reachability problems for Markov chains S. Akshay Timos Antonopoulos Joel Ouaknine James Worrell Mon 13 April 2015
- The Satisfiability Problem for Probabilistic CTL Tomáš Brázdil Vojtech Forejt Jan Kretínský Antonín Kucera Fri 31 October 2014
- Path Coupling: A Technique for Proving Rapid Mixing in Markov Chains R. Bubley M. Dyer Sun 06 July 2014
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
