TY  - RPRT
TI  - Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
AU  - Hussein Sibai
AU  - Sacha Huriot
AU  - Tyler Martin
AU  - Murat Arcak
PY  - 2025
UR  - https://arxiv.org/abs/2403.11816
ID  - 2403.11816
ER  -