# Oldrich Strazovský

According to our database

^{1}, Oldrich Strazovský## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2008

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

Fundam. Inform., 2008

Deciding probabilistic bisimilarity over infinite-state probabilistic systems.

Acta Inf., 2008

2005

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata.

Proceedings of the STACS 2005, 2005

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

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

2004

Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems.

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