27 citations · 59 across the 21 of their papers we have counts for
1 paper · 1 filter
Luca Cardelli, Mirco Tribastone, Max Tschaikowski +1
It is well known that exact notions of model abstraction and reduction for dynamical systems may not be robust enough in practice because they are highly sensitive to the specific…