Sciweavers

292 search results - page 6 / 59

» Model-checking agent refinement

32

CCECE
2006
IEEE

202views Electrical And Computer Engi...» more CCECE 2006»

A New Model Checking Approach for Verifying Agent Communication Protocols

14 years 1 months ago

A New Model Checking Approach for Verifying Agent Communication Protocols

Download users.encs.concordia.ca

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...

claim paper

Read More »

21

SOMET
2007

99views Software Engineering» more SOMET 2007»

Model Checking Communicative Agent-Based Systems

13 years 8 months ago

Model Checking Communicative Agent-Based Systems

Download users.encs.concordia.ca

Jamal Bentahar, John-Jules Ch. Meyer

claim paper

Read More »

25

ECAI
2010
Springer

188views Artificial Intelligence» more ECAI 2010»

On the (Un-)Decidability of Model Checking Resource-Bounded Agents

13 years 8 months ago

On the (Un-)Decidability of Model Checking Resource-Bounded Agents

Download www.in.tu-clausthal.de

Nils Bulling, Berndt Farwer

claim paper

Read More »

16

MST
2008

82views more MST 2008»

Model Checking Abilities of Agents: A Closer Look

13 years 7 months ago

Model Checking Abilities of Agents: A Closer Look

Download www.in.tu-clausthal.de

Wojciech Jamroga, Jürgen Dix

claim paper

Read More »

22

AAAI
2004

114views Intelligent Agents» more AAAI 2004»

Model Checking Temporal Logics of Knowledge in Distributed Systems

13 years 8 months ago

Model Checking Temporal Logics of Knowledge in Distributed Systems

Download www.aaai.org

Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...

Kaile Su

claim paper

Read More »

« Prev « First page 6 / 59 Last » Next »