- Model Checking Probabilistic Pushdown Automata Antonín Kucera Javier Esparza Richard Mayr Fri 19 April 2013
- Probabilistic regular graphs Nathalie Bertrand Christophe Morvan Mon 31 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
- Bisimilarity of Probabilistic Pushdown Automata Vojtech Forejt Petr Jancar Stefan Kiefer James Worrell Tue 20 November 2012
Library Size: 13G (4 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
