APA (7th ed.) Citation

Abate, A., Gutierrez, J., Hammond, L., Harrenstein, P., Kwiatkowska, M., Najib, M., . . . Wooldridge, M. (2021). Rational verification: Game-theoretic verification of multi-agent systems. Applied Intelligence, 51(9), 6569. https://doi.org/10.1007/s10489-021-02658-y

Chicago Style (17th ed.) Citation

Abate, Alessandro, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, and Michael Wooldridge. "Rational Verification: Game-theoretic Verification of Multi-agent Systems." Applied Intelligence 51, no. 9 (2021): 6569. https://doi.org/10.1007/s10489-021-02658-y.

MLA (9th ed.) Citation

Abate, Alessandro, et al. "Rational Verification: Game-theoretic Verification of Multi-agent Systems." Applied Intelligence, vol. 51, no. 9, 2021, p. 6569, https://doi.org/10.1007/s10489-021-02658-y.