Login / Signup
Flexible Plan Verification: Feasibility Results.
Amedeo Cesta
Alberto Finzi
Simone Fratini
Andrea Orlandini
Enrico Tronci
Published in:
RCRA@AI*IA (2009)
Keyphrases
</>
model checking
practical application
data sets
artificial intelligence
computer vision
image processing
lightweight
signature verification