Results 141 to 150 of about 6,864,933 (152)

Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure

2018
Satoshi Yamane
exaly  

On Model Checking Durational Kripke Structures

Lecture Notes in Computer Science, 2002
Nicolas Markey, François Laroussinie, Philippe Schnoebelen   +2 more
exaly  

POSSIBILISTIC KRIPKE STRUCTURE DECISION PROCESSES

2012
Yongming Li
exaly  

Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics

Studia Logica, 1993
Nobu-Yuki Suzuki
exaly  

Functional Interpretation and Kripke Models

1977
Jean-Yves Girard
exaly  

Dynamic algebras which are not Kripke structures

Lecture Notes in Computer Science, 2005
exaly  

Deriving Kripke structures from time series segmentation results

2008
Richard F Helm, Naren Ramakrishnan, Bhubaneswar Mishra   +2 more
exaly  

A Kripke Structure for the Ontology Alignment

2018
exaly  

Kripke Incomplete Logics Containing KTB

Studia Logica, 2007
exaly  

A context dependent equivalence relation between kripke structures

Lecture Notes in Computer Science, 2005
exaly