What's decidable about hybrid automata?

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

Published in: STOC (1995)

Keyphrases

hybrid automata
finite state automata
first order logic
transitive closure
reinforcement learning
datalog programs
computational complexity
upper bound
database
integrity constraints
query containment