Login / Signup
A Class of Zielonka Automata with a Decidable Controller Synthesis Problem.
Hugo Gimbert
Published in:
CoRR (2016)
Keyphrases
</>
controller synthesis
neural network
machine learning
support vector
function approximation
finite automata
turing machine