Julien Calbert

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Controller Synthesis

Formal Verification

Linear Time Temporal Logic

Transition Systems

Top Venues

Publications

Julien Calbert, Adrien Banse, Benoît Legat, Raphaël M. Jungers
Dionysos.jl: a Modular Platform for Smart Symbolic Control. CoRR (2024)
Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers
Memoryless concretization relation. CoRR (2024)
Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers
Memoryless concretization relation. HSCC (2024)
Julien Calbert, Raphaël M. Jungers
Data-driven heuristic symbolic models and application to limit-cycle detection. ACC (2023)
Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
An Efficient Method to Verify the Inclusion of Ellipsoids. CoRR (2022)
Wei Ren, Julien Calbert, Raphaël M. Jungers
Zonotope-based Controller Synthesis for LTL Specifications. CDC (2021)
Wei Ren, Julien Calbert, Raphaël M. Jungers
Zonotope-based Controller Synthesis for LTL Specifications. CoRR (2021)
Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël Jungers
Alternating Simulation on Hierarchical Abstractions. CDC (2021)