Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Kalyani Dole · SciRah

Researcher profile · Semantic Scholar

Kalyani Dole

Share profile

Kalyani Dole — researcher profile on SciRah

h-index: 3
Works: 3
Citations: 11

Most-cited papers

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements
Kalyani Dole, Ashutosh Gupta, John Komp, S. Krishna +1 more
2023AAAI Conference on Artificial Intelligence5 citations Open access
Semantic Scholar
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning
Kalyani Dole, Ashutosh Gupta, John Komp, S. Krishna +1 more
2021IEEE Real-Time Systems Symposium3 citations
Semantic Scholar
Robust Controller Synthesis for Duration Calculus
Kalyani Dole, Ashutosh Gupta, S. Krishna
2020Automated Technology for Verification and Analysis3 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

Ashutosh Gupta×3
Invite
Ashutosh Gupta — researcher profile on SciRah
John Komp×2
Invite
John Komp — researcher profile on SciRah
Ashutosh Trivedi×2
Invite
Ashutosh Trivedi — researcher profile on SciRah
S. Krishna×2
Invite
S. Krishna — researcher profile on SciRah

×1

Invite

S. Krishna — researcher profile on SciRah