Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems

Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann +1

The design and application of multi-agent systems (MAS) require reasoning about the effects of modifications on their underlying structure. In particular, such changes may impact t…