Approximate Abstraction of Stochastic Hybrid Automata.

A. Agung Julius

Published in: HSCC (2006)

Keyphrases

hybrid automata
finite state automata
high level
monte carlo
exact solution
stochastic optimization
theoretical analysis
finite state machines
learning automata
decision theoretic planning