Reachability Analysis of Program Variables.

Durica Nikolic Fausto Spoto

Published in: IJCAR (2012)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
variable selection
artificial intelligence
test cases
state space
computer programs
decision making
reinforcement learning
random variables
incremental algorithms