Verifying Abilities of Resource-Bounded Agents
Project Members:
- Dr. Nils Bulling (Leader)
- Dr. Berndt Farwer
Duration: since 2009
Project Description:
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.