Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata.

Aleksandra Jovanovic Marta Z. Kwiatkowska Gethin Norman

Published in: FORMATS (2015)

Keyphrases

timed automata
controller synthesis
model checking
autonomic computing systems
reachability analysis
theorem prover
theorem proving
probabilistic model
first order logic
bayesian networks
software engineering
control algorithm