Translating Asynchronous Games for Distributed Synthesis

Beutner, Raven and Finkbeiner, Bernd and Hecking-Harbusch, Jesko
(2019) Translating Asynchronous Games for Distributed Synthesis.
In: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands.

Full text not available from this repository.
Official URL: https://doi.org/10.4230/LIPIcs.CONCUR.2019.26

Actions

Actions (login required)

View Item View Item