Ellipsoidal Techniques for Reachability Analysis.

Alexander B. Kurzhanski Pravin Varaiya

Published in: HSCC (2000)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
real time
machine learning
reinforcement learning
long run