Playing Optimally on Timed Automata with Random Delays

First Author: Bertrand N
Attributed to:  Synthesis and Verification in Markov Game Structures funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-33365-1_5

Publication URI: http://dx.doi.org/10.1007/978-3-642-33365-1_5

Type: Book Chapter

Book Title: Formal Modeling and Analysis of Timed Systems (2012)

Page Reference: 43-58

ISBN: 978-3-642-33364-4