Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.

Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi

Browse the full AAAI paper archive.