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

Riccardo De Masellis (Uppsala University), Valentin Goranko (Stockholm University)

Abstract

The abstract for this paper is not yet available.