Verification and control for probabilistic hybrid automata with finite bisimulations.

Jeremy Sproston

Published in: J. Log. Algebraic Methods Program. (2019)

Keyphrases

hybrid automata
control system
neural network
control method
probabilistic model
generative model
training data
bayesian networks
model checking
finite state automata