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