Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem.

Sean Summers John Lygeros

Published in: Autom. (2010)

Keyphrases

decision problems
hybrid systems
influence diagrams
utility function
decision making
decision model
discrete event
neural network
machine learning
learning algorithm
evolutionary algorithm
intelligent systems
optimal policy
black box
meta learning