Oldrich Strazovský

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

Collaborative distances:

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

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

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

Antonín Kucera, Oldrich Strazovský

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004

Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems.

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

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004