Login / Signup
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction.
Robi Malik
Marcelo Teixeira
Published in:
Discret. Event Dyn. Syst. (2020)
Keyphrases
</>
finite state machines
model checking
finite state automata
hidden markov models
regular expressions
functional decomposition
high level
neural network
program synthesis