- When are emptiness and containment decidable for probabilistic automata Laure Daviaud Marcin Jurdziński Ranko Lazić Filip Mazowiecki Guillermo A. Pérez James Worrell Wed 10 March 2021
- Profinite techniques for probabilistic automata and the Markov Monoid algorithm Nathanael Fijalkow Fri 16 October 2020
- Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws Alexandre Goy Daniela Petrişan Sat 04 July 2020
- Quantum Automata and Algebraic Groups Harm Derksen Emmanuel Jeandel Pascal Koiran Thu 19 July 2018
- A Polynomial-time Algorithm for the Equivalence of Probabilistic Automata Wen-Guey Tzeng Tue 12 June 2018
- Deciding the Value 1 Problem for acyclic Partially Observable Markov Decision Processes Hugo Gimbert Youssouf Oualhadj Wed 18 December 2013
- Probabilistic ømega-automata Christel Baier Marcus Grøsser Nathalie Bertrand Mon 08 April 2013
- Model Checking of Probabilistic Timed and Hybrid Systems Jeremy Sproston Tue 18 December 2012
- Probabilistic Automata and Probabilistic Logic Thomas Weidner Wed 05 December 2012
- Deciding the Value 1 Problem of Probabilistic Leaktight Automata Nathanael Fijalkow Hugo Gimbert Youssouf Oualhadj Fri 10 August 2012
- Probabilistic omega-Automata Christel Baier Nathalie Bertrand Marcus Groesser Fri 13 April 2012
- On the Complexity of the Equivalence Problem for Probabilistic Automata Stefan Kiefer Andrzej S. Murawski Joel Ouaknine Bjørn Wachter James Worrell Mon 02 April 2012
Library Size: 13G (12 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
