Results 141 to 150 of about 20,953 (186)

Optimizing a mHealth physical activity intervention with mindful awareness lessons in breast cancer survivors: Fit2ThriveMIND protocol. [PDF]

Contemp Clin Trials
Wolter M, Reading JM, Solk P, Starikovsky J, Hasanaj K, Wang SD, Siddique J, Horowitz B, Spring B, Carden LB, Fox R, Sauer C, Freeman H, Frey J, Victorson D, Phillips SM.   +15 more
europepmc   +1 more source

On Logical and Scientific Strength. [PDF]

Erkenntnis
Incurvati L, Nicolai C.
europepmc   +1 more source

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

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

Some of the next articles are maybe not open access.

Related searches:

Parameter Synthesis for Timed Kripke Structures

Fundamenta Informaticae, 2014
We show how to synthesise parameter values under which a given property, expressed in a certain extension of CTL, called RTCTLP, holds in a parametric timed Kripke structure. We prove the decidability of parameter synthesis for RTCTLP by showing how to restrict the infinite space of parameter valuations to its finite subset and employ a brute-force ...
Knapik, Michał, Penczek, Wojciech
openaire   +1 more source

Quantitative Analysis of Lattice-valued Kripke Structures

Fundamenta Informaticae, 2014
To model and analyze systems with multi-valued information, in this paper, we present an extension of Kripke structures in the framework of complete residuted lattices, which we will refer to as lattice-valued Kripke structures (LKSs). We then show how the traditional trace containment and equivalence relations, can be lifted to the lattice-valued ...
Pan, Haiyu, Zhang, Min, Wu, Hengyang, Chen, Yixiang   +3 more
openaire   +2 more sources

CSP and Kripke Structures

2015
A runtime verification technique has been developed for CSP via translation of CSP models to Kripke structures. With this technique, we can check that a system under test satisfies properties of traces and refusals of its CSP model. This complements analysis facilities available for CSP and for all languages with a CSP-based semantics:i¾?Safety ...
Cavalcanti, Ana, Huang, Wen-ling, Peleska, Jan, Woodcock, Jim   +3 more
openaire   +1 more source

Weak Kripke Structures and LTL

2011
We revisit the complexity of the model checking problem for formulas of linear-time temporal logic (LTL). We show that the classic PSPACE-hardness result is actually limited to a subclass of the Kripke frames, which is characterized by a simple structural condition: the model checking problem is only PSPACE-hard if there exists a strongly connected ...
Lars Kuhtz, Bernd Finkbeiner
openaire   +1 more source

DKL: an efficient algorithm for learning deterministic Kripke structures

Acta Informatica, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rabia Mazhar, Muddassar Azam Sindhu
openaire   +1 more source

Formalizing a Use Case to a Kripke Structure

Software Engineering and Applications/ 831: Advances in Power and Energy Systems, 2015
The use case artifact is the de facto standard to represent functional requirements of a software and can be used to verify and analyze the requirements throughout the development process. Consistent and unambiguous requirements are documented using formal representation techniques.
Qamar uz Zaman, Muddassar Azam Sindhu, Aamer Nadeem   +2 more
openaire   +1 more source

Logical Analysis of Multi-agent Kripke Structures

2010
The last three decades witnessed a gradual shift from standalone-computer focused computations towards more and more distributed computational environment. This ever quickening shift brings new technological and theoretical challenges. Instead of seeing the computational system as completely controllable, which if malfunctioned should and can be ...
Sergey Babenyshev, Vladimir Rybakov
openaire   +1 more source