What's decidable about recursive hybrid automata?

Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi

Published in: HSCC (2015)

Keyphrases

hybrid automata
datalog programs
finite state automata
transitive closure
recursive queries
fixpoint
first order logic
query answering