Search Results for author:
Found 1 papers, 0 papers with code
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
