Volgen
Kalyani Dole
Kalyani Dole
PhD student, IIT Bombay
Geverifieerd e-mailadres voor cse.iitb.ac.in
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3