John Komp

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

As the complexity of pacemaker devices continues to grow, the importance of capturing its functional correctness requirement formally cannot be overestimated. The pacemaker system specification document by \emph{Boston Scientific} provides a widely accepted set of specifications for pacemakers. As…