Kalyani Dole
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2023
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | AAAI | Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |
| 2021 | RTSS | Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |
| 2020 | ATVA | Robust Controller Synthesis for Duration Calculus. | Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna |