Technical Reports
A List by Author: Oldřich Stražovský
- e-mail:
- strazovsky(a)fi.muni.cz
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at STACS 2005. February 2005, 33 pages.
FIMU-RS-2005-01. Available as Postscript, PDF.
Abstract:
We consider qualitative and quantitative model-checking problems
Deciding Probabilistic Bisimilarity over Infinite-State Probabilistic Systems
by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at CONCUR`04. September 2004, 26 pages.
FIMU-RS-2004-06. Available as Postscript, PDF.
Abstract:
We prove that probabilistic bisimilarity is decidable over
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.