Reachability analysis of program variables.

Durica Nikolic Fausto Spoto

Published in: ACM Trans. Program. Lang. Syst. (2013)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
state space
computer programs
random variables
variable selection
incremental algorithms
reinforcement learning
contextual information
steady state
temporal logic
causal relationships