Login / Signup

Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms.

Lorenzo ClementeSlawomir Lasota
Published in: ICALP (2018)
Keyphrases
  • quantifier elimination
  • database systems
  • artificial intelligence
  • dynamic programming
  • general purpose