Login / Signup
Disjunctive Transition Relation Decomposition for Efficient Reachability Analysis.
Stergios Stergiou
Jawahar 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