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 language | English |
---|---|
Title of host publication | N/A |
Publication status | Published - 11 Sept 2009 |
Event | Multi-Agent System Technologies (MATES 2009) - Germany Duration: 11 Sept 2009 → 11 Sept 2009 |
Keynote
Keynote | Multi-Agent System Technologies (MATES 2009) |
---|---|
Period | 11/09/09 → 11/09/09 |
Keywords
- mulit-agent systems
- verification
- comcurrency
- modelling
- programming