Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.220.6 ◽

2016 ◽

Vol 220 ◽

pp. 63-75 ◽

Cited By ~ 1

Author(s):

Louise Foshammer ◽

Kim Guldstrand Larsen ◽

Anders Mariegaard

Keyword(s):

Kripke Structures

Download Full-text

Lattice-Valued Kripke Structures Based on Complete Residuated Lattice

2012 IEEE Sixth International Conference on Software Security and Reliability Companion ◽

10.1109/sere-c.2012.29 ◽

2012 ◽

Author(s):

Haiyu Pan ◽

Min Zhang ◽

Yixiang Chen

Keyword(s):

Residuated Lattice ◽

Kripke Structures ◽

Complete Residuated Lattice

Download Full-text

A More Efficient Simulation Algorithm on Kripke Structures

Mathematical Foundations of Computer Science 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40313-2_66 ◽

2013 ◽

pp. 753-764 ◽

Cited By ~ 5

Author(s):

Francesco Ranzato

Keyword(s):

Simulation Algorithm ◽

Efficient Simulation ◽

Kripke Structures

Download Full-text

Characterizing Kripke structures in temporal logic

TAPSOFT '87 - Lecture Notes in Computer Science ◽

10.1007/3-540-17660-8_60 ◽

1987 ◽

pp. 256-270 ◽

Cited By ~ 8

Author(s):

M. C. Browne ◽

E. M. Clarke ◽

O. Grümberg

Keyword(s):

Temporal Logic ◽

Kripke Structures

Download Full-text

On Model Checking Durational Kripke Structures

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_19 ◽

2002 ◽

pp. 264-279 ◽

Cited By ~ 16

Author(s):

François Laroussinie ◽

Nicolas Markey ◽

Philippe Schnoebelen

Keyword(s):

Model Checking ◽

Kripke Structures

Download Full-text

A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-46691-6_30 ◽

1999 ◽

pp. 369-380 ◽

Cited By ~ 6

Author(s):

Michael Huth

Keyword(s):

Model Checking ◽

Transition Systems ◽

Kripke Structures ◽

Modal Transition Systems

Download Full-text

Dynamic algebras which are not Kripke structures

Mathematical Foundations of Computer Science 1980 - Lecture Notes in Computer Science ◽

10.1007/bfb0022530 ◽

2005 ◽

pp. 528-538 ◽

Cited By ~ 8

Author(s):

Jan Reiterman ◽

Věra Trnková

Keyword(s):

Kripke Structures

Download Full-text

Logical Analysis of Multi-agent Kripke Structures

Agent and Multi-agent Technology for Internet and Enterprise Systems - Studies in Computational Intelligence ◽

10.1007/978-3-642-13526-2_8 ◽

2010 ◽

pp. 157-180

Author(s):

Sergey Babenyshev ◽

Vladimir Rybakov

Keyword(s):

Logical Analysis ◽

Kripke Structures ◽

Multi Agent

Download Full-text

Adapting Biochemical Kripke Structures for Distributed Model Checking

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_6 ◽

2006 ◽

pp. 107-122 ◽

Cited By ~ 2

Author(s):

Susmit Jha ◽

R. K. Shyamasundar

Keyword(s):

Model Checking ◽

Distributed Model ◽

Kripke Structures ◽

Distributed Model Checking

Download Full-text

Communication among agents: a way to revise beliefs in KD45 Kripke structures★

Journal of Applied Non-Classical Logics ◽

10.3166/jancl.14.477-500 ◽

2004 ◽

Vol 14 (4) ◽

pp. 477-500 ◽

Cited By ~ 1

Author(s):

Jean-Marc Tallon ◽

Jean-Christophe Vergnaud ◽

Shmuel Zamir

Keyword(s):

Kripke Structures

Download Full-text

Deriving Kripke structures from time series segmentation results

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605980 ◽

2008 ◽

Cited By ~ 3

Author(s):

Satish Tadepalli ◽

Naren Ramakrishnan ◽

Bud Mishra ◽

Layne T. Watson ◽

Richard F. Helm

Keyword(s):

Time Series ◽

Kripke Structures ◽

Time Series Segmentation

Download Full-text