Results 1 to 10 of about 6,419 (111)

Petri nets for systems and synthetic biology [PDF]

, 2008
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms.
Donaldson, R, Gilbert, D, Heiner, M
core   +1 more source

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints

, 2017
Markov decision processes (MDPs) are the standard formalism for modelling sequential decision making in stochastic environments. Policy synthesis addresses the problem of how to control or limit the decisions an agent makes so that a given specification ...
A Kučera, C Baier, C Courcoubetis, E Altman, J Kemeny, M Kwiatkowska, M Kwiatkowska, T Brázdil, T Brázdil, T Brázdil, V Forejt, XC Ding   +11 more
core   +1 more source

QuantUM: Quantitative Safety Analysis of UML Models

, 2011
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable.
A. Aziz, A. Hinton, Adnan Aziz, Christel Baier, D. Latella, David Nicolaas Jansen, E. M. Clarke, Florian Leitner-Fischer, Florian Leitner-Fischer, Gethin Norman, H. Aljazzar, H. Boudali, Husain Aljazzar, Husain Aljazzar, I. Majzik, J.Y. Halpern, Lars Grunske, Lars Grunske, Leslie Lamport, M. Ajmone Marsan, Mieke Massink, S. Bernardi, Stefan Leue, V.G. Kulkarni   +23 more
core   +2 more sources

Transition between immune and disease states in a cellular automaton model of clonal immune response

, 1997
In this paper we extend the Celada-Seiden (CS) model of the humoral immune response to include infectious virus and cytotoxic T lymphocytes (cellular response).
Abbas, Boon, Britton, Celada, Celada, Celada, Danielak, Farmer, Fishman, Franco Celada, Grossman, Guckenheimer, Hiernaux, Hiernaux, Karunaweera, Kaufman, Lawrence, Lippert, Lo, Michele Bezzi, Morel, Morpurgo, Philip E. Seiden, Romagnani, Romball, Stefano Ruffo, Wolfram   +26 more
core   +2 more sources

Model-checking branching-time properties of probabilistic automata and probabilistic one-counter automata

, 2015
This paper studies the problem of model-checking of probabilistic automaton and probabilistic one-counter automata against probabilistic branching-time temporal logics (PCTL and PCTL$^*$). We show that it is undecidable for these problems.
Lin, T.
core  

Extending the Logic IM-SPDL with Impulse and State Rewards [PDF]

, 2007
This report presents the logic SDRL (Stochastic Dynamic Reward Logic), an extension of the stochastic logic IM-SPDL, which supports the specication of complex performance and dependability requirements.
Haverkort, Boudewijn R., Kuntz, Matthias
core   +1 more source

Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes

, 2013
In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL).
Godskesen, Jens Chr., Song, Lei, Zhang, Lijun   +2 more
core   +3 more sources

Confluence versus Ample Sets in Probabilistic Branching Time [PDF]

, 2011
To improve the efficiency of model checking in general, and probabilistic model checking in particular, several reduction techniques have been introduced. Two of these, confluence reduction and partial-order reduction by means of ample sets, are based on
Hansen, Henri, Timmer, Mark
core   +2 more sources

Verifiable biology. [PDF]

J R Soc Interface, 2023
Konur S, Gheorghe M, Krasnogor N.
europepmc   +1 more source

Social Play Behavior Is Critical for the Development of Prefrontal Inhibitory Synapses and Cognitive Flexibility in Rats. [PDF]

J Neurosci, 2022
Bijlsma A, Omrani A, Spoelder M, Verharen JPH, Bauer L, Cornelis C, de Zwart B, van Dorland R, Vanderschuren LJMJ, Wierenga CJ.   +9 more
europepmc   +1 more source