APA (7th ed.) Citation

Sibai, H., Huriot, S., Martin, T., & Arcak, M. (2024). Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis.

Chicago Style (17th ed.) Citation

Sibai, Hussein, Sacha Huriot, Tyler Martin, and Murat Arcak. Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. 2024.

MLA (9th ed.) Citation

Sibai, Hussein, et al. Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. 2024.