-
Selection by year
-
Selection by authors
-
Complete lists
AS-format12b
N. Bertrand, S. Schewe. Playing Optimally on Timed Automata with Random Delays. In proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (Formats'12), LNCS, Volume 7595, Pages 43-58, London, UK, September 2012.
Download [help]
Download paper:
Doi page 
Download paper:
Adobe portable document (pdf) 
Copyright notice:
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic
Abstract
We marry continuous time Markov decision processes (CTMDPs) with stochastic timed automata into a model with joint expressive power. This extension is very natural, as the two original models already share exponentially distributed sojourn times in locations. It enriches CTMDPs with timing constraints, or symmetrically, stochastic timed automata with one conscious player. Our model maintains the existence of optimal control known for CTMDPs. This also holds for a richer model with two players, which extends continuous time Markov games. But we have to sacrifice the existence of simple schedulers: polyhedral regions are insufficient to obtain optimal control even in the single-player case
Contact
Nathalie Bertrand http://www.irisa.fr/prive/nbertran/
BibTex Reference
@InProceedings{AS-format12b,
Author = {Bertrand, N. and Schewe, S.},
Title = {Playing Optimally on Timed Automata with Random Delays},
BookTitle = {proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (Formats'12)},
Volume = {7595},
Pages = {43--58},
Series = {LNCS},
Address = {London, UK},
Month = {September},
Year = {2012}
}
EndNote Reference [help]
Get EndNote Reference (.ref)