Distributed Synthesis in Continuous Time.

Holger Hermanns, Jan Krcl, Steen Vester

Browse the full FOSSACS paper archive.