Rational verification in multi-agent systems (University of Oxford, 2019)

(untitled) - Najib, M