Verification of Agent-Based Artifact Systems.

Francesco Belardinelli Alessio Lomuscio Fabio Patrizi

Published in: J. Artif. Intell. Res. (2014)

Keyphrases

complex systems
formal methods
real world
distributed systems
database
neural network
information retrieval
artificial intelligence
digital libraries
asynchronous circuits