共 50 条
[41]
Decentralised Norm Monitoring in Open Multi-Agent Systems
[J].
AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS,
2016,
:1399-1400
[42]
An Analysis of Norm Processes in Normative Multi-agent Systems
[J].
2016 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE WORKSHOPS (WIW 2016),
2016,
:68-71
[43]
Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
[J].
MULTI-AGENT SYSTEM TECHNOLOGIES, PROCEEDINGS,
2009, 5774
:16-+
[44]
Efficient Verification of Multi-Agent Systems Through Parallel
[J].
2024 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS,
2024,
:745-756
[45]
Runtime Verification of Multi-agent Systems Interaction Quality
[J].
INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2013), PT I,,
2013, 7802
:435-444
[46]
Design and Verification of Multi-Agent Systems with the Use of Bigraphs
[J].
APPLIED SCIENCES-BASEL,
2021, 11 (18)
[47]
Domain theory verification using multi-agent systems
[J].
XII INTERNATIONAL SYMPOSIUM INTELLIGENT SYSTEMS 2016, (INTELS 2016),
2017, 103
:120-125
[48]
Verification of Multi-agent Systems with Timeouts for Migration and Communication
[J].
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2019,
2019, 11884
:134-151
[49]
Interoperability - Rules for testing and verification of multi-agent systems
[J].
ATP EDITION,
2018, (03)
:34-45
[50]
A sociological framework for multi-agent systems validation and verification'
[J].
CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS,
2004, 3289
:458-469