McMas: A Model Checker for Multi-Agent Systems

Lecture Notes in Computer Science- Germany

doi 10.1007/11691372_31

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2015English

A Knowledge Hierarchy Model for Adaptive Multi-Agent Systems

International Journal of Computer Applications in Technology
Electronic EngineeringIndustrialComputer NetworksManufacturing EngineeringCommunicationsComputer Science ApplicationsElectricalInformation SystemsSoftware
2008English

Distributed Aperiodic Model Predictive Control for Multi-Agent Systems

IET Control Theory and Applications
ControlSystems EngineeringHuman-Computer InteractionOptimizationElectronic EngineeringComputer Science ApplicationsElectrical
2015English

S-Dlcam: A Self-Design and Learning Cooperative Agent Model for Adaptive Multi-Agent Systems

2013English

McMas: A Toolkit for Developing Agent-Based Simulations on Many-Core Architectures

Multiagent and Grid Systems
Computer Science
2015English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

The Model of Agent and Multi-Agent Interaction in Socio-Economic Systems

Vestnik of the Plekhanov Russian University of Economics
2018English

Towards a Context Definition for Multi-Agent Systems

English

Evolutionary Multi-Agent Systems

Knowledge Engineering Review
Artificial IntelligenceSoftware
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy