Towards online reachability analysis with temporal-differencing.

Anayo K. Akametalu Claire J. Tomlin

Published in: HSCC (2015)

Keyphrases

reachability analysis
online learning
markov decision processes
model checking
timed automata
state space
incremental algorithms
real time
learning algorithm
low cost
decision makers
steady state