"Iterated Games with LDL Goals over Finite Traces."

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