Login / Signup
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
Ming-Ying Chung
Gianfranco Ciardo
Andy Jinqing Yu
Published in:
ATVA (2006)
Keyphrases
</>
fine grained
reachability analysis
coarse grained
model checking
markov decision processes
incremental algorithms
timed automata
access control
dynamic programming
state space
tightly coupled
optimal solution
search algorithm
real time
high level
optimal policy