Login / Signup

Disjunctive Transition Relation Decomposition for Efficient Reachability Analysis.

Stergios StergiouJawahar Jain
Published in: HLDVT (2006)
Keyphrases
  • reachability analysis
  • reinforcement learning
  • model checking
  • artificial intelligence
  • video sequences
  • search algorithm
  • low cost
  • markov decision processes
  • decomposition method
  • datalog programs