Følg
Kalyani Dole
Kalyani Dole
PhD student, IIT Bombay
Verifisert e-postadresse på cse.iitb.ac.in
Tittel
Sitert av
Sitert av
År
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
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–3