APA (7th ed.) Citation

Bettini, L., Bourr, K., Pugliese, R., & Tiezzi, F. (2022). Programming Multi-robot Systems with X-KLAIM. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 13703, 283-300. https://doi.org/10.1007/978-3-031-19759-8_18

Chicago Style (17th ed.) Citation

Bettini, Lorenzo, Khalid Bourr, Rosario Pugliese, and Francesco Tiezzi. "Programming Multi-robot Systems with X-KLAIM." Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 13703 (2022): 283-300. https://doi.org/10.1007/978-3-031-19759-8_18.

MLA (9th ed.) Citation

Bettini, Lorenzo, et al. "Programming Multi-robot Systems with X-KLAIM." Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, vol. 13703, 2022, pp. 283-300, https://doi.org/10.1007/978-3-031-19759-8_18.