Finite Bisimulations for Dynamical Systems with Overlapping Trajectories

Béatrice Bérard, Patricia Bouyer, Vincent Jugé. Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. In Dan R. Ghica, Achim Jung, editors, 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. Volume 119 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Abstract

Abstract is missing.