Kalyani Dole

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Temporal Difference Learning

Reinforcement Learning

Controller Synthesis

Top Venues

Publications

Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI (2023)
Kalyani Dole, Ashutosh Gupta, John Komp, Shankara Narayanan Krishna, Ashutosh Trivedi
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. RTSS (2021)
Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna
Robust Controller Synthesis for Duration Calculus. ATVA (2020)