Sciweavers

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

10

FUIN
2006

favoriteEmaildiscussreport

80views more FUIN 2006»

Update and Abstraction in Model Checking of Knowledge and Branching Time

13 years 4 months ago

Update and Abstraction in Model Checking of Knowledge and Branching Time

Download pllab.kaist.ac.kr

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M

Real-time Traffic

FUIN 2006 |

claim paper

Related Content

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

» The Complexity of Epistemic Model Checking Clock Semantics and Branching Time

» Model Checking Knowledge and Time in Systems with Perfect Recall Extended Abstract

» An Abstract Interpretation Perspective on Linear vs Branching Time

» CacheBased Model Checking of Networked Applications From Linear to Branching Time

» A New Approach to Bounded Model Checking for Branching Time Logics

» Parallel Model Checking for Temporal Epistemic Logic

» A Global Timed Bisimulation Preserving Abstraction for Parametric TimeInterval Automata

» Model Checking Knowledge and Linear Time PSPACE Cases

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	FUIN
Authors	Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe

Comments (0)