Login / Signup
Reachability Analysis via Net Structure.
Harro Wimmel
Karsten Wolf
Published in:
AWPN (2010)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
data mining
search algorithm