Reachability analysis of dynamic programming based controlled systems.

Jorge Estrela da Silva João Borges de Sousa Fernando M. Lobo Pereira

Published in: CDC (2013)

Keyphrases

dynamic programming
reachability analysis
markov decision processes
expert systems
complex systems
neural network
artificial intelligence
knowledge representation
intelligent systems
model checking