Login / Signup
On Ellipsoidal Techniques for Reachability Analysis. Part II: Internal Approximations Box-valued Constraints.
Alexander B. Kurzhanski
Pravin Varaiya
Published in:
Optim. Methods Softw. (2002)
Keyphrases
</>
reachability analysis
markov decision processes
model checking
state space
constraint satisfaction
constraint programming
constrained optimization
linear constraints
internal and external