J. S. Sajiv Kumar

According to our database, J. S. Sajiv Kumar authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

J. S. Sajiv Kumar, Raghavan Komondoor

Proceedings of the Automated Technology for Verification and Analysis, 2023