John Komp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2021–2023
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | AAAI | Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |
| 2021 | RTSS | Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |