Modelling and Verification of Resource-Bounded Multi-Agent Systems

Berndt Muller

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddCyfraniad i gynhadleddadolygiad gan gymheiriaid

Crynodeb

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.
Iaith wreiddiolSaesneg
TeitlN/A
StatwsCyhoeddwyd - 11 Medi 2009
Digwyddiad Multi-Agent System Technologies (MATES 2009) - Germany
Hyd: 11 Sep 200911 Sep 2009

!Keynote

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

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'Modelling and Verification of Resource-Bounded Multi-Agent Systems'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Dyfynnu hyn