Modelling and Verification of Resource-Bounded Multi-Agent Systems

Berndt Muller

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

Abstract

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 Sept 2009
Event Multi-Agent System Technologies (MATES 2009) - Germany
Duration: 11 Sept 200911 Sept 2009

Keynote

Keynote Multi-Agent System Technologies (MATES 2009)
Period11/09/0911/09/09

Keywords

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

Fingerprint

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

Cite this