Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

42

DALT
2009
Springer

favoriteEmaildiscussreport

121views Intelligent Agents» more DALT 2009»

Verifying Dribble Agents

14 years 3 months ago

Verifying Dribble Agents

Download www.agents.cs.nott.ac.uk

Abstract. We describe a model-checking based approach to veriﬁcation of programs written in the agent programming language Dribble. We deﬁne a logic (an extension of the branching time temporal logic CTL) which describes transition systems corresponding to a Dribble program, and show how to express properties of the agent program in the logic and how to encode transition systems as an input to a model-checker. We prove soundness and completeness of the logic and a correspondence between the operational semantics of Dribble and the models of the logic.

Doan Thu Trang, Brian Logan, Natasha Alechina

Real-time Traffic

DALT 2009 | Logic | Programming Language Dribble | Temporal Logic Ctl |

claim paper

Related Content

» Agent programming in dribble from beliefs to goals using plans

» Biter A Platform for the Teaching and Research of Multiagent Systems Design Using RoboCup

» Verifying Team Formation Protocols with Probabilistic Model Checking

» Engineering and verifying requirements for programmable selfassembling nanomachines

» A Formal Methodology for Verifying Situated Agents

» The Robocup Physical Agent Challenge Phase I

» Verifying time memory and communication bounds in systems of reasoning agents

» Verifiable Semantics for Agent Communication Languages

» Verifying Agents Conformance with Multiparty Protocols

Post Info
More Details (n/a)

Added	24 Jul 2010
Updated	24 Jul 2010
Type	Conference
Year	2009
Where	DALT
Authors	Doan Thu Trang, Brian Logan, Natasha Alechina

Comments (0)