Login / Signup
Reachability Analysis at Procedure Level through Timing Coincidence.
Farn Wang
Published in:
CONCUR (1995)
Keyphrases
</>
reachability analysis
markov decision processes
neural network
model checking
levels of abstraction
reinforcement learning
state space
higher level
timed automata