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

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

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Multiagent and Grid Systems ◽

10.3233/mgs-180298 ◽

2019 ◽

Vol 14 (4) ◽

pp. 403-418 ◽

Author(s):

Ammar Boucherit ◽

Abdallah Khababa ◽

Laura M. Castro

Keyword(s):

Multi Agent System ◽

Rewriting Logic ◽

Agent System ◽

System Models ◽

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

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

A Three-Dimensional Abstraction Framework to Compare Multi-Agent System Models

Computational Collective Intelligence. Technologies and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16693-8_33 ◽

2010 ◽

pp. 306-319 ◽

Author(s):

Tibor Bosse ◽

Mark Hoogendoorn ◽

Michel C. A. Klein ◽

Jan Treur

Keyword(s):

Three Dimensional ◽

Multi Agent System ◽

Agent System ◽

System Models ◽

Download Full-text

Statistical Model Checking Of Multi-Agent Systems

ECMS 2017 Proceedings edited by Zita Zoltay Paprika, Péter Horák, Kata Váradi, Péter Tamás Zwierczyk, Ágnes Vidovics-Dancs, János Péter Rádics ◽

10.7148/2017-0011 ◽

2017 ◽

Author(s):

Libero Nigro ◽

Paolo F. Sciammarella

Keyword(s):

Model Checking ◽

Statistical Model ◽

Multi Agent Systems ◽

Statistical Model Checking ◽

Agent Systems ◽

Download Full-text

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

Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems

PRIMA 2020: Principles and Practice of Multi-Agent Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-69322-0_32 ◽

2021 ◽

pp. 420-427

Author(s):

Ramesh Yenda ◽

M. V. Panduranga Rao

Keyword(s):

Model Checking ◽

Statistical Model ◽

Short Duration ◽

Multi Agent Systems ◽

Statistical Model Checking ◽

Agent Systems ◽

Download Full-text

Simulation of online food ordering delivery strategies using multi-agent system models

Journal of Simulation ◽

10.1080/17477778.2021.2007808 ◽

2021 ◽

pp. 1-15

Author(s):

Guangyu Zou ◽

Ming Gao ◽

Jiafu Tang ◽

Levent Yilmaz

Keyword(s):

Multi Agent System ◽

Agent System ◽

System Models ◽

Multi Agent ◽

Delivery Strategies

Download Full-text

Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus

Bio-Inspired Computational Intelligence and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74769-7_55 ◽

2007 ◽

pp. 510-522

Author(s):

Lijun Wu ◽

Jinshu Su

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Multi Agent System ◽

Temporal Logics ◽

Agent System ◽

Symbolic Model ◽

Download Full-text