Login / Signup
Refining the Undecidability Frontier of Hybrid Automata.
Venkatesh Mysore
Amir Pnueli
Published in:
FSTTCS (2005)
Keyphrases
</>
hybrid automata
finite state automata
description logics
probabilistic planning
database
np hard
upper bound
answering queries