Verification of Agent-Based Artifact Systems

Francesco Belardinelli Alessio Lomuscio Fabio Patrizi

Published in: CoRR (2013)

Keyphrases

computer vision
formal methods
multi agent
real time
management system
asynchronous circuits
website
multi agent systems
computer systems
artificial neural networks
simulation model
learning systems
knowledge based systems
intelligent systems
expert systems
bayesian networks
web services
real world