Verifying Abilities of Resource-Bounded Agents

The verification and modelling of multi-agent systems is an important topic that has attracted much attention in recent years. Resources, however, have only recently entered the picture. In this project, we analyse whether it is possible to verify properties of resource-bounded agents. For this purpose, we develop suitable models and logics and analyse associated complexity and decidability questions.