共 50 条
- [2] Actions and social interactions in multi-agent systems Knowledge and Information Systems, 2009, 18 : 133 - 136
- [3] Formal Development of Critical Multi-Agent Systems: A Refinement Approach 2012 NINTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2012), 2012, : 156 - 161
- [6] Formal Verification of Open Multi-Agent Systems AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 179 - 187
- [7] Formal framework for adaptive multi-agent systems IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2003, : 442 - 445
- [9] A Formal Environment Model for Multi-Agent Systems FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 64 - 79