Stochastic Timed Games Revisited
From MaRDI portal
Publication:4608565
DOI10.4230/LIPIcs.MFCS.2016.8zbMath1398.91054arXiv1607.05671MaRDI QIDQ4608565
Patricia Bouyer, Lakshmi Manasa, Shankara Narayanan Krishna, S. Akshay, Ashutosh Trivedi
Publication date: 21 March 2018
Full work available at URL: https://arxiv.org/abs/1607.05671
68Q45: Formal languages and automata
91A15: Stochastic games, stochastic differential games
91A55: Games of timing
Related Items
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities, Probabilistic timed automata with clock-dependent probabilities