Login / Signup
Coverage Preserving Reduction Strategies for Reachability Analysis.
Gerard J. Holzmann
Patrice Godefroid
Didier Pirottin
Published in:
PSTV (1992)
Keyphrases
</>
reachability analysis
markov decision processes
model checking
search strategies
timed automata
incremental algorithms
state space
machine learning
online auctions
real time
dynamic programming