Login / Signup
Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata.
Sander Thuijsman
Dennis Hendriks
Rolf J. M. Theunissen
Michel A. Reniers
Ramon R. H. Schiffelers
Published in:
CASE (2019)
Keyphrases
</>
computational effort
finite automata
grammatical inference
deterministic automata
regular expressions
computational cost
probabilistic automata
solution quality
tree automata
finite automaton
hidden markov models
pattern matching
data management