Oldrich Strazovský

According to our database1, Oldrich Strazovský
  • authored at least 5 papers between 2004 and 2008.
  • has a "Dijkstra number"2 of five.

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


  Loading...