Login / Signup
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