Modelling and Verification of Resource-Bounded Multi-Agent Systems

Berndt Muller

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


The keynote addresses current trends in modelling and verification of systems involving concurrently acting, intelligent, autonomous agents. We survey a number of approaches and give an outlook to open research questions. The talk addresses mathematical foundations as well as practical impact.
Original languageEnglish
Title of host publicationN/A
Publication statusPublished - 11 Sep 2009
Event Multi-Agent System Technologies (MATES 2009) - Germany
Duration: 11 Sep 200911 Sep 2009


Keynote Multi-Agent System Technologies (MATES 2009)


  • mulit-agent systems
  • verification
  • comcurrency
  • modelling
  • programming


Dive into the research topics of 'Modelling and Verification of Resource-Bounded Multi-Agent Systems'. Together they form a unique fingerprint.

Cite this