1 paper · 1 filter
Georgios Argyris, Alberto Lluch Lafuente, Alexander Leguizamon Robayo +3
Quantitative notions of bisimulation are well-known tools for the minimization of dynamical models such as Markov chains and ordinary differential equations (ODEs). In \emph{forwar…