Jan Krčál

Continuous-Time Stochastic Games with Time-Bounded Reachability

Tomǎš Brázdil, Vojtěch Forejt, Jan Krčál et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2009 · 29 citations · Full text

Continuous-time stochastic games with time-bounded reachability

Tomǎš Brázdil, Vojtěch Forejt, Jan Krčál et al. · Information and Computation · 2013 · 24 citations

Differential Game, Stochastic Game, Game Theory +3

How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty

Holger Hermanns, Jan Krčál, Gilles Nies · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 20 citations · Full text

Verification of Open Interactive Markov Chains

Tomǎš Brázdil, Holger Hermanns, Jan Krčál et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 17 citations · Full text

Engineering, Reachability Problem, Game Theory +16

Battery-aware scheduling in low orbit: the GomX–3 case

Morten Bisgaard, David Gerhardt, Holger Hermanns et al. · Formal Aspects of Computing · 2018 · 16 citations · Full text