Abstract Advancements in Neural Networks have led to larger models, challenging
implementation on embedded devices with memory, battery, and computational constraints …

Parameter determination is an important task in the development of biological models. In this
paper we consider parametric polynomial dynamical systems and address the following …

The field of tumor phylogenetics focuses on studying the differences within cancer cell
populations. Many efforts are done within the scientific community to build cancer …

This paper explores the concept of proportional lumpability as an extension of the original
definition of lumpability, addressing the challenges posed by the state space explosion …

Background: The modeling of Biological Regulatory Networks (BRNs) relies on background
knowledge, deriving either from literature and/or the analysis of biological observations …

Dynamical systems model the time evolution of both natural and engineered processes. The
automatic analysis of such models relies on different techniques ranging from reachability …

In this chapter, the authors discuss a number of formal tools collectively driving them to
Hybrid Automata. Automata have a long and rich history in computer science, and they have …

Hybrid automata naturally represent systems that exhibit a mixed discrete-continuous
behaviours. The undecidability of the reach ability problem over them constrains the …

The assumption of being able to perform infinite precision measurements does not only lead
to undecidability, but it also introduces artifacts in the mathematical models that do not …

It is generally unknown how to formally determine whether different neural networks have a
similar behaviour. This question intimately relates to the problem of finding a suitable …