Continuous-Time Stochastic Games with Time-Bounded Reachability.
From MaRDI portal
Publication:2920113
DOI10.4230/LIPIcs.FSTTCS.2009.2307zbMath1250.91015OpenAlexW2244458880MaRDI QIDQ2920113
Vojtěch Forejt, Jan Křetínský, Jan Krčál, Tomáš Brázdil, Antonín Kučera
Publication date: 24 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_35d9.html
Related Items
Precisely deciding CSL formulas through approximate model checking for CTMCs ⋮ Efficient approximation of optimal control for continuous-time Markov games