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.
|Title of host publication||N/A|
|Publication status||Published - 11 Sep 2009|
|Event|| Multi-Agent System Technologies (MATES 2009) - Germany|
Duration: 11 Sep 2009 → 11 Sep 2009
|Keynote||Multi-Agent System Technologies (MATES 2009)|
|Period||11/09/09 → 11/09/09|
- mulit-agent systems