Finite Bisimulations for Dynamical Systems with Overlapping Trajectories.

Batrice Brard, Patricia Bouyer, Vincent Jug

Browse the full CSL paper archive.