Sign in
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata.
Aleksandra Jovanovic
Marta Kwiatkowska
Gethin Norman
Quentin Peyras
Published in:
Theor. Comput. Sci. (2017)
Keyphrases
</>
timed automata
controller synthesis
model checking
dynamic programming
autonomic computing systems
optimal solution
reachability analysis
bayesian networks
probabilistic model
real time
expert systems
artificial neural networks
real time systems