Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation.

J. S. Sajiv Kumar, Raghavan Komondoor

Browse the full ATVA paper archive.