Sciweavers

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

12

ECAI
2010
Springer

favoriteEmaildiscussreport

231views Artificial Intelligence» more ECAI 2010»

Parallel Model Checking for Temporal Epistemic Logic

13 years 5 months ago

Parallel Model Checking for Temporal Epistemic Logic

Download www.doc.ic.ac.uk

Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time temporal logic with epistemic modalities. We report on an implementation of these algorithms and present the experimental results obtained. The results point to a significant speed-up in the verification step.

Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q

Real-time Traffic

Artificial Intelligence | ECAI 2010 | Logic Combining Branching | Parallel Algorithms | Time Temporal Logic |

claim paper

Related Content

» Bounded model checking knowledge and branching time in synchronous multiagent systems

» Model Checking Games for a Fair BranchingTime Temporal Epistemic Logic

» Improved bounded model checking for a fair branchingtime temporal epistemic logic

» A temporal epistemic logic with a reset operation

» ModelChecking Strategic Ability and Knowledge of the Past of Communicating Coalitions

» Modular interpreted systems

» Operational and Epistemic Approaches to Protocol Analysis Bridging the Gap

» Model Checking Russian Cards

» Parallel Model Checking and the FMICSjETI Platform

Post Info
More Details (n/a)

Added	08 Nov 2010
Updated	08 Nov 2010
Type	Conference
Year	2010
Where	ECAI
Authors	Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu

Comments (0)