Kalyani Dole

According to our database, Kalyani Dole authored at least 3 papers between 2020 and 2023.

Collaborative distances:

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

2023

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.

Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.

Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

2020

Robust Controller Synthesis for Duration Calculus.

Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna

Proceedings of the Automated Technology for Verification and Analysis, 2020