Efficient Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
The authors propose an efficient symbolic control synthesis algorithm that exploits dynamical symmetries to construct lean abstractions, avoiding redundant computations during synthesis.