The key processes in biological and chemical systems are described by networks of
chemical reactions. From molecular biology to biotechnology applications, computational …

We consider the problem of synthesising rate parameters for stochastic biochemical
networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of …

Abstract Systems commonly operate under time-varying environmental condition (EC).
Since the EC can affect the degradation process of a system, maintenance planning can be …

We address the problem of verifying Probabilistic Computation Tree Logic (PCTL) properties
of Markov Decision Processes (MDPs) whose state transition probabilities are only known to …

We propose an automated method for exploring kinetic parameters of stochastic
biochemical systems. The main question addressed is how the validity of an a priori given …

We study the problem of optimal syntax-guided synthesis of stochastic Chemical Reaction
Networks (CRNs) that plays a fundamental role in design automation of molecular devices …

It is well known that many factors can influence the rate at which a machine degrades. In this
article, we study a multi-state repairable system subject to continuous degradation and …

The finite state projection (FSP) approach to solving the chemical master equation has
enabled successful inference of discrete stochastic models to predict single-cell gene …

Stochastic reaction network models are often used to explain and predict the dynamics of
gene regulation in single cells. These models usually involve several parameters, such as …

Continuous-time Markov chains are commonly used in practice for modeling biochemical
reaction networks in which the inherent randomness of the molecular interactions cannot be …