共 50 条
- [1] Formal Modeling and Verification of Multi-Agent System Architecture 2013 AASRI CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, 2013, 5 : 126 - 132
- [2] Formal Specification and Reasoning for Situated Multi-agent System 2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 455 - 460
- [3] A Formal Analysis of Required Cooperation in Multi-Agent Planning TWENTY-SIXTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2016), 2016, : 335 - 343
- [7] Experience using formal methods for specifying a multi-agent system SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 72 - 80
- [9] Formal approaches to multi-agent sysems Autonomous Agents and Multi-Agent Systems, 2009, 19 : 1 - 3
- [10] A formal model of multi-agent computations PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2008, 4967 : 351 - 360