Reachability Analysis over Term Rewriting Systems.

Guillaume Feuillade Thomas Genet Valérie Viet Triem Tong

Published in: J. Autom. Reason. (2004)

Keyphrases

reachability analysis
term rewriting systems
model checking
markov decision processes
functional programs
logic programs
incremental algorithms
timed automata
state space
real time
reinforcement learning
logic programming
decision problems