Oldrich Strazovský

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...