Translating Asynchronous Games for Distributed Synthesis.

Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch

Browse the full CONCUR paper archive.