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

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

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

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 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

Digital Circuit of Multi-Agent System for Two Pedestrian Streams in A Narrow Path

IEICE Proceeding Series ◽

10.15248/proc.2.471 ◽

2014 ◽

Vol 2 ◽

pp. 471-474

Author(s):

Takashi TOYOFUKU ◽

Kunihiko MITSUBORI

Keyword(s):

Digital Circuit ◽

Multi Agent System ◽

Agent System ◽

Download Full-text

An Evolutionary Approach to Tuning a Multi-Agent System for Autonomous Adaptive Control of a Flapping-Wing Micro Air Vehicle

International Journal of Robotics and Automation Technology ◽

10.15377/2409-9694.2016.03.01.2 ◽

2016 ◽

Vol 3 (1) ◽

pp. 7-15

Author(s):

Michal Podhradsky ◽

◽

Garrison Greenwood

Keyword(s):

Adaptive Control ◽

Flapping Wing ◽

Micro Air Vehicle ◽

Evolutionary Approach ◽

Multi Agent System ◽

Agent System ◽

Air Vehicle ◽

Download Full-text

Event-triggered and Self-triggered Formation Control of a Linear Multi-agent System

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.140.303 ◽

2020 ◽

Vol 140 (3) ◽

pp. 303-311

Author(s):

Ryo Toyota ◽

Kento Kotani ◽

Toru Namerikawa

Keyword(s):

Formation Control ◽

Multi Agent System ◽

Agent System ◽

Multi Agent ◽

Event Triggered

Download Full-text

The Mathematical Model of the Process for the Formation of Description of Local Security Threats in the Multi-Agent System

Telecommunications and Radio Engineering ◽

10.1615/telecomradeng.v62.i2.20 ◽

2004 ◽

Vol 62 (1-6) ◽

pp. 113-120

Author(s):

A. V. Potapov ◽

S. P. Yushchenko ◽

A. T. Mirgaleev ◽

I. B. Rodionov

Keyword(s):

Mathematical Model ◽

Security Threats ◽

Multi Agent System ◽

Agent System ◽

Multi Agent ◽

The Mathematical Model

Download Full-text

Multi Agent System Approach for Shipboard Power System Reconfiguration

i-manager’s Journal on Electrical Engineering ◽

10.26634/jee.2.4.222 ◽

2009 ◽

Vol 2 (4) ◽

pp. 61-70

Author(s):

Ravi Babu Pallikonda ◽

◽

K. Prapoorna ◽

N.V. Prashanth ◽

A. Shruti ◽

...

Keyword(s):

Power System ◽

System Approach ◽

Multi Agent System ◽

Agent System ◽

System Reconfiguration ◽

Shipboard Power System ◽

Shipboard Power ◽

Download Full-text