APA (7th ed.) Citation

Raïs, S., Brunel, J., Doose, D., & Herbreteau, F. (2024). Cross--layer Formal Verification of Robotic Systems.

Chicago Style (17th ed.) Citation

Raïs, Sylvain, Julien Brunel, David Doose, and Frédéric Herbreteau. Cross--layer Formal Verification of Robotic Systems. 2024.

MLA (9th ed.) Citation

Raïs, Sylvain, et al. Cross--layer Formal Verification of Robotic Systems. 2024.