Alexej Rotar

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Stochastic Local Search Algorithms

Stopping Criteria

Pspace Complete

Top Venues

Publications

Julia Eisentraut, Jan Kretínský, Alexej Rotar
Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games. CoRR (2019)
Jan Kretínský, Alexej Rotar
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. CoRR (2018)
Jan Kretínský, Alexej Rotar
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. CONCUR (2018)