Technical Reports
The report FIMU-RS-2009-09
Continuous-Time Stochastic Games with Time-Bounded Reachability
by Tomáš Brázdil, Vojtěch Forejt, Jan Krčál, Jan Křetínský, Antonín Kučera, A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.
FIMU-RS-2009-09. Available as Postscript, PDF.
Abstract:
We study continuous-time stochastic games with
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.