TY  - RPRT
TI  - Dionysos.jl: a Modular Platform for Smart Symbolic Control
AU  - Julien Calbert
AU  - Adrien Banse
AU  - Benoît Legat
AU  - Raphaël M. Jungers
PY  - 2025
DO  - 10.21105/jcon.00160
UR  - https://arxiv.org/abs/2404.14114
ID  - 2404.14114
ER  -