Observability of Hybrid Automata by Abstraction.

Alessandro D'Innocenzo Maria Domenica Di Benedetto Stefano Di Gennaro

Published in: HSCC (2006)

Keyphrases

hybrid automata
finite state automata
high level
neural network
machine learning
learning algorithm
state space
decision rules
decision problems
finite state machines
partial observability
decision theoretic planning