@inproceedings{dblp-conf-aaai-dolegkk023,
  title = {Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements},
  author = {Kalyani Dole and Ashutosh Gupta and John Komp and Shankaranarayanan Krishna and Ashutosh Trivedi},
  year = {2023},
  url = {https://dblp.org/rec/conf/aaai/DoleGKK023},
  booktitle = {AAAI 2023}
}