Azaiez, A., Anisi, D. A., Farrell, M., & Luckcuck, M. (2025). Revisiting Formal Methods for Autonomous Robots: A Structured Survey.
Style de citation Chicago (17e éd.)Azaiez, Atef, David A. Anisi, Marie Farrell, et Matt Luckcuck. Revisiting Formal Methods for Autonomous Robots: A Structured Survey. 2025.
Style de citation MLA (9e éd.)Azaiez, Atef, et al. Revisiting Formal Methods for Autonomous Robots: A Structured Survey. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.