Robust Controller Synthesis for Duration Calculus. - Kalyani Dole; Ashutosh Gupta; Shankara Narayanan Krishna (ATVA, 2020)

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. - Kalyani Dole; Ashutosh Gupta; John Komp; Shankaranarayanan Krishna; Ashutosh Trivedi 001 (RTSS, 2021)

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. - Kalyani Dole; Ashutosh Gupta; John Komp; Shankaranarayanan Krishna; Ashutosh Trivedi 001 (AAAI, 2023)