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