The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. - Jan Kretínský; Alexej Rotar (CONCUR, 2018)

Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games. - Julia Eisentraut; Jan Kretínský; Alexej Rotar (CoRR, 2019)