223 citations · 243 across the 16 of their papers we have counts for
4 papers · 1 filter
Reducing Boolean Networks with Backward Boolean Equivalence
Georgios Argyris, Alberto Lluch Lafuente, Mirco Tribastone +2
Boolean Networks (BNs) are established models to qualitatively describe biological systems. The analysis of BNs might be infeasible for medium to large BNs due to the state-space e…
Closed-form Continuous-time Neural Models
Ramin Hasani, Mathias Lechner, Alexander Amini +5
Continuous-time neural processes are performant sequential decision-makers that are built by differential equations (DE). However, their expressive power when they are deployed on…
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a l…
Exact maximal reduction of stochastic reaction networks by species lumping
Luca Cardelli, Isabel Cristina Perez-Verona, Mirco Tribastone +3
Motivation: Stochastic reaction networks are a widespread model to describe biological systems where the presence of noise is relevant, such as in cell regulatory processes. Unfort…