Cannon Example

该数据集包含了与论文运行示例中的参数化多代理系统（PMAS）相对应的抽象行为规范（ABS）的文本编码。这一数据集被用来展示如何对参数化多代理系统进行安全性验证。具体来说，该示例包括机器人模板的3个局部变量、3个全局变量以及26个转换。该问题通过MCMT方法解决，并展示了一个不安全状态的情况。

This dataset contains the textual encoding of the abstract behavioral specification (ABS) corresponding to the parameterized multi-agent system (PMAS) from the paper's running example. This dataset is utilized to demonstrate how to conduct safety verification for parameterized multi-agent systems. Specifically, this example encompasses 3 local variables, 3 global variables, and 26 transitions for the robot template. This problem is addressed via the MCMT method, and a scenario of an unsafe state is demonstrated.