@ARTICLE{SibaiM-TACSymmetry24,
  author={Sibai, Hussein and Mitra, Sayan},
  journal={IEEE Transactions on Automatic Control}, 
  title={Symmetry-Based Abstractions for Hybrid Automata}, 
  year={2024},
  volume={69},
  number={5},
  pages={3357-3364},
  keywords={Trajectory;Automata;Safety;Transforms;Heuristic algorithms;Dynamical systems;Behavioral sciences;Abstraction;formal methods;hybrid systems;reachability analysis;symmetry},
  doi={10.1109/TAC.2023.3327329}
  }