An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems.

Jean-Michel Couvreur, Nasser Saheb, Grgoire Sutre

Browse the full LPAR paper archive.