Craig Interpolation and Reachability Analysis.

Kenneth L. McMillan

Published in: SAS (2003)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
linear interpolation
state space
temporal logic
image interpolation
interpolation methods
least squares
np complete
function approximation
interpolation method