Login / Signup

Refining the Undecidability Frontier of Hybrid Automata.

Venkatesh MysoreAmir Pnueli
Published in: FSTTCS (2005)
Keyphrases
  • hybrid automata
  • finite state automata
  • description logics
  • probabilistic planning
  • database
  • np hard
  • upper bound
  • answering queries