Model checking multiagent systems

被引：43
|
作者：
Benerecetti, M
Giunchiglia, F
Serafini, L
机构：
[1] Univ Trent, DISA, I-38100 Trent, Italy
[2] Ist Trentino Cultura, IRST, I-38050 Trent, Italy
来源：
JOURNAL OF LOGIC AND COMPUTATION | 1998年 / 8卷 / 03期
关键词：
D O I：
10.1093/logcom/8.3.401
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Model checking is a very successful technique which has been applied in the design and verification of finite state concurrent reactive processes. In this paper we show how this technique can be lifted to be applicable to multiagent systems. Our approach allows us to reuse the technology and tools developed in model checking, to design and verify multiagent systems in a modular and incremental way, and also to have a very efficient model checking algorithm.
引用
收藏
页码：401 / 423
页数：23
相关论文
共 50 条
  • [1] Model Checking for Probabilistic Multiagent Systems
    Chen Fu
    Andrea Turrini
    Xiaowei Huang
    Lei Song
    Yuan Feng
    Li-Jun Zhang
    [J]. Journal of Computer Science and Technology, 2023, 38 : 1162 - 1186
  • [2] Model Checking for Probabilistic Multiagent Systems
    Fu, Chen
    Turrini, Andrea
    Huang, Xiaowei
    Song, Lei
    Feng, Yuan
    Zhang, Li-Jun
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 38 (05) : 1162 - 1186
  • [3] Model checking hybrid multiagent systems for the RoboCup
    Furbach, Ulrich
    Murray, Jan
    Schmidsberger, Falk
    Stolzenburg, Frieder
    [J]. ROBOCUP 2007: ROBOT SOCCER WORLD CUP XI, 2008, 5001 : 262 - +
  • [4] The Complexity of Model Checking Succinct Multiagent Systems
    Huang, Xiaowei
    Chen, Qingliang
    Su, Kaile
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1076 - 1082
  • [5] Validation of multiagent systems by symbolic model checking
    Benerecetti, M
    Cimatti, A
    [J]. AGENT-ORIENTED SOFTWARE ENGINEERING III, 2002, 2585 : 32 - 46
  • [6] Well-structured model checking of multiagent systems
    Shilov, N. V.
    Garanina, N. O.
    [J]. PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 363 - +
  • [7] Hybrid multiagent systems with timed synchronization - Specification and model checking
    Furbach, Ulrich
    Murray, Jan
    Schmidsberger, Falk
    Stolzenburg, Frieder
    [J]. PROGRAMMING MULTI-AGENT SYSTEMS, 2008, 4908 : 205 - +
  • [8] Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems
    Fu, Chen
    Turrini, Andrea
    Huang, Xiaowei
    Song, Lei
    Feng, Yuan
    Zhang, Lijun
    [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 4757 - 4763
  • [9] Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
    Herd, Benjamin
    Miles, Simon
    McBurney, Peter
    Luck, Michael
    [J]. ENGINEERING MULTI-AGENT SYSTEMS, EMAS 2015, 2015, 9318 : 109 - 130
  • [10] Model checking for multiagent systems: The MABLE language and its applications
    Wooldridge, M
    Huget, MP
    Fisher, M
    Parsons, S
    [J]. INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2006, 15 (02) : 195 - 225
12345