Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems

Riccardo De Masellis, Valentin Goranko

We develop a logic-based framework for formal specification and algorithmic verification of homogeneous and dynamic concurrent multi-agent transition systems (HDMAS). Homogeneity m…