关注
Kalyani Dole
Kalyani Dole
PhD student, IIT Bombay
在 cse.iitb.ac.in 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作，请稍后再试。
文章 1–3