Superposition Principle in Composable Hybrid Automata.

Jafar Akhundov Peter Tröger Matthias Werner

Published in: Fundam. Informaticae (2018)

Keyphrases

hybrid automata
finite state automata
theorem proving
machine learning