Login / Signup
Considering Superposition in the Composable Hybrid Automata.
Jafar Akhundov
Peter Tröger
Matthias Werner
Published in:
CS&P (2016)
Keyphrases
</>
hybrid automata
finite state automata
theorem proving
neural network
active learning
theoretical analysis