Game-based verification and synthesis Page 1 General rights Copyright and moral rights for
the publications made accessible in the public portal are retained by the authors and/or other …