Complex behaviour arising in biological systems is typically characterised by various kinds
of attractors. An important problem in this area is to determine these attractors. Biological …

In our previous work, we designed and implemented a synthetic metabolic pathway for 1, 2,
3-trichloropropane (TCP) biodegradation in Escherichia coli. Significant effects of metabolic …

We present a novel tool for parameter synthesis of piecewise multi-affine dynamical systems
from specifications expressed in a hybrid branching-time temporal logic. The tool is based …

Complex dynamics arising in biological systems can be characterised by various kinds of
attractors. To that end, the task of determining attractors becomes important in modern …

We consider the parameter synthesis problem for multi-affine hybrid systems and properties
specified using a hybrid extension of CTL (HCTL). The goal is to determine the sets of …

When trying to describe and understand real-world phenomena, science often relies on a
model-based approach, where the true nature of the system is described in some simplified …

We address the problem of selecting model from candidate list in the field of systems
biology. The selection is based on model behaviour specified in temporal logic rather than …

When trying to describe and understand real-world phenomena, science often relies on a
model-based approach, where the true nature of the system is described in some simplified …

Biochemical systems have been influenced, altered, and engineered to produce a myriad of
complex behaviours that have far reaching consequences in the realization of computational …

In this work, we addressed the problem of developing an agent-based artificial general
intelligence that can be implemented in compact and power-efficient electronic hardware …