research
∙
06/30/2022
Minimization of Dynamical Systems over Monoids
Quantitative notions of bisimulation are well-known tools for the minimi...
share
research
∙
06/25/2021
Closed-form Continuous-Depth Models
Continuous-depth neural models, where the derivative of the model's hidd...
research
∙
06/25/2021
Reducing Boolean Networks with Backward Boolean Equivalence
Boolean Networks (BNs) are established models to qualitatively describe ...
research
∙
04/27/2021
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
We introduce polynomial couplings, a generalization of probabilistic cou...
research
∙
01/09/2021