Reachability Analysis of Procedural Programs with Affine Integer Arithmetic.

Michael Luttenberger

Published in: CIAA (2006)

Keyphrases

reachability analysis
integer arithmetic
markov decision processes
model checking
timed automata
incremental algorithms
state space
euclidean distance transform
image registration
reinforcement learning
search algorithm
np hard
gray scale