APA (7th ed.) Citation

Varshosaz, M., Ghaffari, M., Johnsen, E. B., & Wąsowski, A. (2023). Formal Specification and Testing for Reinforcement Learning. Proceedings of ACM on programming languages, 7(ICFP), 125-158. https://doi.org/10.1145/3607835

Chicago Style (17th ed.) Citation

Varshosaz, Mahsa, Mohsen Ghaffari, Einar Broch Johnsen, and Andrzej Wąsowski. "Formal Specification and Testing for Reinforcement Learning." Proceedings of ACM on Programming Languages 7, no. ICFP (2023): 125-158. https://doi.org/10.1145/3607835.

MLA (9th ed.) Citation

Varshosaz, Mahsa, et al. "Formal Specification and Testing for Reinforcement Learning." Proceedings of ACM on Programming Languages, vol. 7, no. ICFP, 2023, pp. 125-158, https://doi.org/10.1145/3607835.