Results 121 to 130 of about 14,300 (195)

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award [PDF]

, 2009
Kim G. Larsen, Claus Thrane, Uli Fahrenberg   +2 more
openalex  

On generic Kripke Structures (Model theoretic techniques for constructing infinite structures)

, 2008
宏一郎 池田, 圭史 岡本
openalex   +2 more sources

Continuous-Time Hidden Markov Factor Model for Mobile Health Data: Application to Adverse Posttraumatic Neuropsychiatric Sequelae. [PDF]

IEEE J Biomed Health Inform
Ge L, An X, Zeng D, McLean S, Kessler R, Song R.   +5 more
europepmc   +1 more source

This article explains the secrecy paradox, but don't tell anyone! [PDF]

Front Psychol
Bergman DM.
europepmc   +1 more source

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

, 1995
Yves-Marie Quemener, Thierry Jéron
openalex   +1 more source

Local causation. [PDF]

Synthese, 2021
Brunet TDP.
europepmc   +1 more source

Lessons learnt from daily oral PrEP delivery to inform national planning for PrEP ring introduction for women in low-income and middle-income countries: a qualitative inquiry of international stakeholders. [PDF]

BMJ Glob Health
Heck CJ, Dam A, Yohannes K, Deacon J, Kripke K, Meyers K, Poku O, Obermeyer C, Wiant S, Quigee D, Larson M, Malati C, Sobieszczyk ME, Torres-Rueda S, Castor D.   +14 more
europepmc   +1 more source

Efficient Construction of Kripke Structures and Model Checking of Logic- Labeled Sequential Finite State Machines

, 2013
Vladimir Estivill‐Castro, David A. Rosenblueth   +1 more
openalex   +1 more source

Some Problems in the Paper “Model Checking Using Partial Kripke Structure with 3-Valued Temporal Logic”

, 2011
Lei Chen, Shen Yun-fu
openalex   +1 more source