Flexible Plan Verification: Feasibility Results.

Amedeo Cesta Simone Fratini Andrea Orlandini Alberto Finzi Enrico Tronci

Published in: Fundam. Informaticae (2011)

Keyphrases

lightweight
model checking
plan recognition
data sets
artificial intelligence
formal verification
search engine
information systems
image processing
domain specific
face verification
plan generation
asynchronous circuits
verification method
multi agent planning