Ferlez, J., Cleaveland, R., & Marcus, S. I. (2018). Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees. 2018 IEEE Conference on Decision and Control (CDC). Presented at the. IEEE.
