Detecting inconsistencies via universal reachability analysis.

Aaron Tomb Cormac Flanagan

Published in: ISSTA (2012)

Keyphrases

reachability analysis
markov decision processes
model checking
incremental algorithms
timed automata
knowledge base
supervised learning
temporal logic
image sequences
low cost
linear program
average cost