Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. - J. S. Sajiv Kumar; Raghavan Komondoor (ATVA (1), 2023)