Static analysis of BDI agents on CPS using Petri nets and MDE techniques

Source
MODELS Companion '24: proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, September 22-27, 2024, Linz, Austria- (2024) p. 1076-1085
Author(s)

AAMA-sim : a Gazebo and ROS2-based simulation tool for agent-based modelling of cyber-physical systems

Source
Lecture notes in computer science-15157 (2024) p. 317-323
Author(s)

DSML4JaCaMo : a modelling tool for multi-agent programming with JaCaMo

Source
Annals of computer science and information systems-39 (2024) p. 637-642
Author(s)