research
∙
06/30/2022
Minimization of Dynamical Systems over Monoids
Quantitative notions of bisimulation are well-known tools for the minimi...
research
∙
06/25/2021