Follow
Kalyani Dole
Kalyani Dole
PhD student, IIT Bombay
Verified email at cse.iitb.ac.in
Title
Cited by
Cited by
Year
Event-triggered and time-triggered duration calculus for model-free reinforcement learning
K Dole, A Gupta, J Komp, S Krishna, A Trivedi
2021 IEEE Real-Time Systems Symposium (RTSS), 240-252, 2021
42021
Robust Controller Synthesis for Duration Calculus
K Dole, A Gupta, SN Krishna
Automated Technology for Verification and Analysis: 18th International …, 2020
32020
Correct-by-construction reinforcement learning of cardiac pacemakers from duration calculus requirements
K Dole, A Gupta, J Komp, S Krishna, A Trivedi
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14792 …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–3