I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems

Rustam Galimullin, Hermine Grosinger, Munyque Mittelmann

Autonomous agents acting in realistic Multi-Agent Systems (MAS) should be able to adapt during their execution. Standard strategic logics, such as Alternating-time Temporal Logic (…