Bibtex:

@article{hka2023,
  AUTHOR    = { Hasanbeig, Hosein
                and Kroening, Daniel
                and Abate, Alessandro },
  TITLE     = { Certified Reinforcement Learning with Logic Guidance },
  YEAR      = { 2023 },
  JOURNAL   = { Artificial Intelligence },
  VOLUME    = { 322 },
  MONTH     = { September },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.