Planning Equational Verification in CCS.

Raúl Monroy Alan Bundy Ian Green

Published in: ASE (1998)

Keyphrases

concurrent systems
ai planning
stochastic domains
model checking
planning problems
mixed initiative
case study
orders of magnitude
motion planning
false acceptance rate
signature verification
face verification
planning domains
machine learning
theorem proving
heuristic search
search engine