Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.

Prasanna Thati José Meseguer

Published in: CALCO (2005)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
artificial intelligence
high level
temporal logic
real time
knowledge representation
state space
least squares
np complete
average cost