Oldrich Strazovský

According to our database, Oldrich Strazovský authored at least 3 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

On the Controller Synthesis for Finite-State Markov Decision Processes.

Antonín Kucera, Oldrich Strazovský

Fundam. Informaticae, 2008

Deciding probabilistic bisimilarity over infinite-state probabilistic systems.

Tomás Brázdil, Antonín Kucera, Oldrich Strazovský

Acta Informatica, 2008

2005

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata.

Tomás Brázdil, Antonín Kucera, Oldrich Strazovský

Proceedings of the STACS 2005, 2005