APA (7th ed.) Citation

Kundu, A., Sarkar, P., & Ray, R. (2025). A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems.

Chicago Style (17th ed.) Citation

Kundu, Atanu, Pratyay Sarkar, and Rajarshi Ray. A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems. 2025.

MLA (9th ed.) Citation

Kundu, Atanu, et al. A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems. 2025.