Flexible Timeline-Based Plan Verification.

Amedeo Cesta Alberto Finzi Simone Fratini Andrea Orlandini Enrico Tronci

Published in: KI (2009)

Keyphrases

model checking
plan recognition
person identification
data sets
formal analysis
database
real world
computer vision
case study
face verification
formal methods
signature verification
formal verification
high security