Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël Jungers. Alternating Simulation on Hierarchical Abstractions. In 60th IEEE Conference on Decision and Control, CDC 2021, Austin, TX, USA, December 14-17, 2021. pages 593-598, IEEE, 2021. [doi]
Abstract is missing.