Kumar, JSS and Komondoor, R (2023) Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. In: UNSPECIFIED, pp. 292-311.
