On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations.

Alexander B. Kurzhanski Pravin Varaiya

Published in: Optim. Methods Softw. (2002)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
closed form
approximation methods
temporal logic
internal and external
table of contents
artificial intelligence
linear programming
lecture notes