A Flexible Framework for Verifiable Agent Programming

Berndt Muller, R. Bordoni, M. Fisher, L. Dennis

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

Crynodeb

There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platforms becoming more popular, and multi-agent systems being increasingly used for safety-critical applications, the need for verification techniques that apply to systems written in such languages is proportionally intensified. Building on our previous work on model checking for a particular agent-oriented programming language, we have developed a new approach whereby model checking techniques can be used directly on a variety of such languages. The approach also supports the verification of multi-agent systems where individual agents have been programmed in different agent languages.
Iaith wreiddiolSaesneg
TeitlN/A
Nifer y tudalennau4
StatwsCyhoeddwyd - 1 Ion 2008
Digwyddiad 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008) - Portugal
Hyd: 12 May 200812 May 2008

Cynhadledd

Cynhadledd 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008)
Cyfnod12/05/0812/05/08

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'A Flexible Framework for Verifiable Agent Programming'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Dyfynnu hyn