Results 1 to 10 of about 6,408 (118)

A probabilistic extension of UML statecharts: specification and verification [PDF]

open access: yes, 2002
This paper is the extended technical report that corresponds to a published paper [14]. This paper introduces means to specify system randomness within UML statecharts, and to verify probabilistic temporal properties over such enhanced statecharts which ...
Hermanns, Holger   +2 more
core   +19 more sources

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2011
Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively.
Takashi Tomita   +2 more
doaj   +1 more source

A biased competition theory of cytotoxic T lymphocyte interaction with tumor nodules. [PDF]

open access: yesPLoS ONE, 2015
The dynamics of the interaction between Cytotoxic T Lymphocytes (CTL) and tumor cells has been addressed in depth, in particular using numerical simulations.
Claire Christophe   +7 more
doaj   +1 more source

Debugging of Markov Decision Processes (MDPs) Models [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2016
In model checking, a counterexample is considered as a valuable tool for debugging. In Probabilistic Model Checking (PMC), counterexample generation has a quantitative aspect. The counterexample in PMC is a set of paths in which a path formula holds, and
Hichem Debbi
doaj   +1 more source

Qualitative Logics and Equivalences for Probabilistic Systems [PDF]

open access: yesLogical Methods in Computer Science, 2009
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized CTL (QRCTL): formulas of this logic can express the fact that certain temporal properties hold ...
Krishnendu Chatterjee   +3 more
doaj   +1 more source

Meditation effects within the hippocampal complex revealed by voxel-based morphometry and cytoarchitectonic probabilistic mapping. [PDF]

open access: yes, 2013
Scientific studies addressing anatomical variations in meditators' brains have emerged rapidly over the last few years, where significant links are most frequently reported with respect to gray matter (GM).
Gaser, Christian   +4 more
core   +2 more sources

Discrete-time rewards model-checked [PDF]

open access: yes, 2003
This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with reward constraints.
A. Aziz   +14 more
core   +2 more sources

Logic and model checking for hidden Markov models [PDF]

open access: yes, 2005
The branching-time temporal logic PCTL* has been introduced to specify quantitative properties over probability systems, such as discrete-time Markov chains. Until now, however, no logics have been defined to specify properties over hidden Markov models (
Hermanns, Holger   +2 more
core   +5 more sources

Predicting progression of Alzheimer's disease using ordinal regression.

open access: yesPLoS ONE, 2014
We propose a novel approach to predicting disease progression in Alzheimer's disease (AD)--multivariate ordinal regression--which inherently models the ordered nature of brain atrophy spanning normal aging (CTL) to mild cognitive impairment (MCI) to AD ...
Orla M Doyle   +10 more
doaj   +1 more source

A Markov Chain Model Checker [PDF]

open access: yes, 2000
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branching) temporal logic formula has been proposed for both the discrete [17,6 ...
Hermanns, Holger   +3 more
core   +5 more sources

Home - About - Disclaimer - Privacy