Alternating Simulation on Hierarchical Abstractions. - Julien Calbert; Benoît Legat; Lucas N. Egidio; Raphaël M. Jungers (CDC, 2021)

Zonotope-based Controller Synthesis for LTL Specifications. - Wei Ren 004; Julien Calbert; Raphaël M. Jungers (CDC, 2021)

An Efficient Method to Verify the Inclusion of Ellipsoids. - Julien Calbert; Lucas N. Egidio; Raphaël M. Jungers (CoRR, 2022)

Data-driven heuristic symbolic models and application to limit-cycle detection. - Julien Calbert; Raphaël M. Jungers (ACC, 2023)

Memoryless concretization relation. - Julien Calbert; Sébastien M. Mattenet; Antoine Girard; Raphaël M. Jungers (HSCC, 2024)

Dionysos.jl: a Modular Platform for Smart Symbolic Control. - Julien Calbert; Adrien Banse; Benoît Legat; Raphaël M. Jungers (CoRR, 2024)

Classification of simulation relations for symbolic control. - Julien Calbert; Antoine Girard; Raphaël M. Jungers (CoRR, 2024)

Smart Abstraction Based on Iterative Cover and Non-Uniform Cells. - Julien Calbert; Lucas N. Egidio; Raphaël M. Jungers (IEEE Control. Syst. Lett., 2024)

Dionysos.jl: a Modular Platform for Smart Symbolic Control. - Julien Calbert; Adrien Banse; Benoît Legat; Raphaël M. Jungers (Zenodo, 2024)

Agile Temporal Discretization for Symbolic Optimal Control. - Adrien Janssens; Adrien Banse; Julien Calbert; Raphaël M. Jungers (CoRR, 2025)