Specification and Verification of Multi-agent Systems
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer US

9781441969835, 9781441969842
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Using Theorem Proving to Verify Properties of Agent Programs

2010 ◽  
pp. 1-33 ◽  
Author(s):  
N. Alechina ◽  
M. Dastani ◽  
F. Khan ◽  
B. Logan ◽  
J.-J. Ch. Meyer
Keyword(s):  
Theorem Proving

Directions for Agent Model Checking*

2010 ◽  
pp. 103-123 ◽  
Author(s):  
R.H. Bordini ◽  
L.A. Dennis ◽  
B. Farwer ◽  
M. Fisher
Keyword(s):  
Model Checking ◽  
Agent Model

scholarly journals Model Checking Agent Communication

2010 ◽  
pp. 67-102 ◽  
Author(s):  
J. Bentahar ◽  
J.-J. Ch. Meyer ◽  
W. Wan
Keyword(s):  
Model Checking ◽  
Agent Communication
Load More ...
Sign in / Sign up

Export Citation Format

Share Document