"From model checking to equilibrium checking: Reactive modules for rational ..."

Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics