Sciweavers

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

9

ATAL
2008
Springer

favoriteEmaildiscussreport

96views Intelligent Agents» more ATAL 2008»

Model-checking agent refinement

13 years 6 months ago

Model-checking agent refinement

Download www.aamas-conference.org

We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent specifications in rewrite systems such that we can automatically check if refinement between (fair) executions of agents holds. Categories and Subject Descriptors: I.6.5 Model Development: Modeling methodologies General Terms: Languages, Theory, Verification.

Lacramioara Astefanoaei, Frank S. de Boer

Real-time Traffic

Agent Specifications | ATAL 2008 | BDI Framework | Intelligent Agents | Nondeterminbstract Agent Specifications |

claim paper

Related Content

» Formal Refinement and Model Checking of an Echo Cancellation Unit

» Using Linear Temporal Model Checking for GoalOriented Policy Refinement Frameworks

» Abstraction and Refinement in Model Checking

» A RefinementBased Correctness Proof of Symmetry Reduced Model Checking

» Refining the SAT decision ordering for bounded model checking

» Model Checking Linearizability via Refinement

» ARMC The Logical Choice for Software Model Checking with Abstraction Refinement

» Combining Formal Refinement and Model Checking for RealTime Systems Verification

» Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

» Model Checking for ACL Compliance Verification

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	ATAL
Authors	Lacramioara Astefanoaei, Frank S. de Boer

Comments (0)