Dynamic algebras which are not Kripke structures

2005 ◽  
pp. 528-538 ◽  
Author(s):  
Jan Reiterman ◽  
Věra Trnková
Keyword(s):  
Kripke Structures

scholarly journals Characterizing Kripke structures in temporal logic

1987 ◽  
pp. 256-270 ◽  
Author(s):  
M. C. Browne ◽  
E. M. Clarke ◽  
O. Grümberg
Keyword(s):  
Temporal Logic ◽  
Kripke Structures

scholarly journals On Model Checking Durational Kripke Structures

2002 ◽  
pp. 264-279 ◽  
Author(s):  
François Laroussinie ◽  
Nicolas Markey ◽  
Philippe Schnoebelen
Keyword(s):  
Model Checking ◽  
Kripke Structures

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

2004 ◽  
Vol 14 (4) ◽  
pp. 477-500 ◽  
Author(s):  
Jean-Marc Tallon ◽  
Jean-Christophe Vergnaud ◽  
Shmuel Zamir
Keyword(s):  
Kripke Structures

scholarly journals Deriving Kripke structures from time series segmentation results

2008 ◽  
Author(s):  
Satish Tadepalli ◽  
Naren Ramakrishnan ◽  
Bud Mishra ◽  
Layne T. Watson ◽  
Richard F. Helm
Keyword(s):  
Time Series ◽  
Kripke Structures ◽  
Time Series Segmentation

scholarly journals Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars

1995 ◽  
Vol 2 ◽  
pp. 222-229 ◽  
Author(s):  
Yves-Marie Quemener ◽  
Thierry Jéron
Keyword(s):  
Model Checking ◽  
Simple Graph ◽  
Graph Grammars ◽  
Kripke Structures
Sign in / Sign up

Export Citation Format

Share Document