Model Checking of Multi Agent System Architectures Using BigMC

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems ◽

10.15439/2015f300 ◽

2015 ◽

Author(s):

Ahmed Taki Eddine Dib ◽

Zaidi Sahnoun

Keyword(s):

Model Checking ◽

Multi Agent System ◽

Agent System ◽

System Architectures ◽

Download Full-text

Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2008.00245 ◽

2009 ◽

Vol 31 (2) ◽

pp. 245-252 ◽

Author(s):

Li-Jun WU ◽

Jin-Shu SU ◽

Kai-Le SU

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Multi Agent System ◽

Agent System ◽

Symbolic Model ◽

Download Full-text

Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

Journal of Software Engineering and Applications ◽

10.4236/jsea.2015.82006 ◽

2015 ◽

Vol 08 (02) ◽

pp. 43-50 ◽

Author(s):

Nadeem Akhtar ◽

Muhammad Nauman

Keyword(s):

Model Checking ◽

Timed Automata ◽

Multi Agent System ◽

Agent System ◽

System A ◽

Download Full-text

Evaluating Multi-agent System Architectures: A Case Study Concerning Dynamic Resource Allocation

Engineering Societies in the Agents World III - Lecture Notes in Computer Science ◽

10.1007/3-540-39173-8_13 ◽

2003 ◽

pp. 170-183 ◽

Author(s):

Paul Davidsson ◽

Stefan Johansson

Keyword(s):

Resource Allocation ◽

Dynamic Resource Allocation ◽

Multi Agent System ◽

Agent System ◽

System Architectures ◽

Multi Agent ◽

Dynamic Resource

Download Full-text

Specification and verification of reconfigurable multi-agent system architectures

Multiagent and Grid Systems ◽

10.3233/mgs-160246 ◽

2016 ◽

Vol 12 (2) ◽

pp. 105-124 ◽

Author(s):

Ahmed Taki Eddine Dib ◽

Kamel Barkaoui ◽

Zaidi Sahnoun

Keyword(s):

Multi Agent System ◽

Agent System ◽

System Architectures ◽

Multi Agent ◽

Specification And Verification

Download Full-text

Analyzing model checking approach for multi agent system verification

2011 Malaysian Conference in Software Engineering ◽

10.1109/mysec.2011.6140650 ◽

2011 ◽

Author(s):

Najwa Abu Bakar ◽

Ali Selamat

Keyword(s):

Model Checking ◽

Multi Agent System ◽

Agent System ◽

Multi Agent ◽

System Verification

Download Full-text

Multi-agent System Architectures for Wireless Sensor Networks

Lecture Notes in Computer Science - Computational Science – ICCS 2005 ◽

10.1007/11428862_94 ◽

2005 ◽

pp. 687-694 ◽

Author(s):

Richard Tynan ◽

G. M. P. O’Hare ◽

David Marsh ◽

Donal O’Kane

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Multi Agent System ◽

Agent System ◽

System Architectures ◽

Download Full-text

Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models

Advances in Intelligent Systems and Computing - Agent and Multi-Agent Systems: Technologies and Applications ◽

10.1007/978-3-319-07650-8_16 ◽

2014 ◽

pp. 151-160 ◽

Author(s):

Christian Kroiß

Keyword(s):

Model Checking ◽

Statistical Model ◽

Multi Agent System ◽

Agent System ◽

Statistical Model Checking ◽

System Models ◽

Download Full-text

A Short Survey of Multi-Agent System Architectures

International Conference of Computational Methods in Sciences and Engineering 2004 (ICCMSE 2004) ◽

10.1201/9780429081385-292 ◽

2019 ◽

pp. 1148-1152

Author(s):

Mingwei Chen ◽

Ilias Petrounias

Keyword(s):

Multi Agent System ◽

Agent System ◽

System Architectures ◽

Short Survey ◽

Download Full-text

Evaluation of Multi-agent System Architectures

Architecture-Based Design of Multi-Agent Systems ◽

10.1007/978-3-642-01064-4_7 ◽

2010 ◽

pp. 149-164

Author(s):

Danny Weyns

Keyword(s):

Multi Agent System ◽

Agent System ◽

System Architectures ◽

Download Full-text

Evaluation of scalable multi-agent system architectures for searching the Semantic Web

International Journal of Metadata Semantics and Ontologies ◽

10.1504/ijmso.2010.033281 ◽

2010 ◽

Vol 5 (2) ◽

pp. 99 ◽

Author(s):

I.W. Blacoe ◽

V. Tamma ◽

M.J. Wooldridge

Keyword(s):

Semantic Web ◽

Multi Agent System ◽

Agent System ◽

System Architectures ◽

Download Full-text