![Theoretical Foundations of Computer Systems_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-03/Theoretical%20Foundations%20of%20Computer%20Systems_hi-res.png.jpg?itok=Xu9k2zci)
Abstract
We propose a formalism to model and reason about multi-agent systems. We allow agents to interact and commu-nicate in different modes so that they can pursue jointtasks; agents may dynamically synchronize, exchangedata, adapt their behaviour, and reconfigure their com-munication interfaces. The formalism defines a local be-haviour based on shared variables and a global one basedon message passing. We extendltlto be able to reasonexplicitly about the intentions of the different agents andtheir interaction protocols. We also study the complexityof satisfiability and model-checking of this extension.