ε-Semantics; Hybrid systems; Reachability problem

ϵ-Semantics computations on biological systems

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 correspond to observable behaviours of systems under study. When …