Login / Signup
Automatic Synthesis of Switching Controllers for Linear Hybrid Automata
Massimo Benerecetti
Marco Faella
Stefano Minopoli
Published in:
CoRR (2011)
Keyphrases
</>
hybrid automata
semi automatic
control system
finite state automata
semi supervised
fully automatic
neural network
state space
program synthesis
database systems
reinforcement learning
controller synthesis