Komp, John

1 publications

AAAI 2023 Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi