Login / Signup
Suspension Automata: A Decidable Class of Hybrid Automata.
Jennifer McManis
Pravin Varaiya
Published in:
CAV (1994)
Keyphrases
</>
hybrid automata
finite state automata
probabilistic automata
cellular automata
hidden markov models
efficient learning