Login / Signup

Translating Asynchronous Games for Distributed Synthesis.

Raven BeutnerBernd FinkbeinerJesko Hecking-Harbusch
Published in: CONCUR (2019)
Keyphrases