What's Decidable about Hybrid Automata?

Thomas A. Henzinger Peter W. Kopke Anuj Puri Pravin Varaiya

Published in: J. Comput. Syst. Sci. (1998)

Keyphrases

hybrid automata
finite state automata
datalog programs
first order logic
transitive closure
database
relational databases
machine learning