Directions for Agent Model Checking

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

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddPennodadolygiad gan gymheiriaid


In this chapter we provide a perspective on current and future work in the area of agent model-checking. In particular, we describe our approach, which was the first to provide comprehensive verification of practical agent programming languages. It provides a library of general agent concepts that has been formally defined and implemented in Java, upon which interpreters for various agent programming languages can be succinctly programmed. The Java library has been prepared so that it can be efficiently used with an existing Java model checker, thus facilitating the verification of (heterogeneous) multi-agent programs. Besides giving an overview of our approach, in this chapter we identify its current shortfalls and discuss where we aim to target development.
Iaith wreiddiolSaesneg
TeitlSpecification and Verification of Multi-agent Systems
StatwsCyhoeddwyd - 1 Ion 2010

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'Directions for Agent Model Checking'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Dyfynnu hyn