Continuous-time stochastic games with time-bounded reachability

DOI10.1016/j.ic.2013.01.001zbMath1264.91016OpenAlexW2063746348MaRDI QIDQ1951600

Antonín Kučera, Vojtěch Forejt, Jan Krčál, Tomáš Brázdil, Jan Křetínský

Publication date: 6 June 2013

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2013.01.001

zbMATH Keywords

stochastic gamestime-bounded reachabilitycontinuous time stochastic systems

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15)

Related Items (4)

Quantitative verification and strategy synthesis for stochastic games ⋮ Cost vs. time in stochastic games and Markov automata ⋮ A uniformization-based algorithm for continuous-time stochastic games model checking ⋮ Efficient approximation of optimal control for continuous-time Markov games

This page was built for publication: Continuous-time stochastic games with time-bounded reachability