APA (7th ed.) Citation

Tang, C., & Althoff, M. (2023). Formal Verification of Robotic Contact Tasks via Reachability Analysis. IFAC-PapersOnLine, 56(2), 7912-7919. https://doi.org/10.1016/j.ifacol.2023.10.028

Chicago Style (17th ed.) Citation

Tang, Chencheng, and Matthias Althoff. "Formal Verification of Robotic Contact Tasks via Reachability Analysis." IFAC-PapersOnLine 56, no. 2 (2023): 7912-7919. https://doi.org/10.1016/j.ifacol.2023.10.028.

MLA (9th ed.) Citation

Tang, Chencheng, and Matthias Althoff. "Formal Verification of Robotic Contact Tasks via Reachability Analysis." IFAC-PapersOnLine, vol. 56, no. 2, 2023, pp. 7912-7919, https://doi.org/10.1016/j.ifacol.2023.10.028.