Technical Reports
The report FIMU-RS-2010-05
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
by Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák, A full version of the paper presented at CONCUR 2010. August 2010, 39 pages.
FIMU-RS-2010-05. Available as Postscript, PDF.
Abstract:
We consider two-player stochastic games over real-time probabilistic
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.