Abate, A., Gutierrez, J., Hammond, L., Harrenstein, P., Kwiatkowska, M., Najib, M., Perelli, G., Steeples, T., Wooldridge, M., 2021. Rational verification: game-theoretic verification of multi-agent systems.. https://doi.org/10.1007/s10489-021-02658-y