Login / Signup

On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two.

Christopher H. BroadbentStefan Göller
Published in: FSTTCS (2012)
Keyphrases
  • higher order
  • multiscale
  • natural images
  • low order
  • case study
  • model checking
  • finite automata
  • databases
  • real world
  • information retrieval
  • social networks
  • reinforcement learning
  • markov random field
  • lower order