@inproceedings{dblp-conf-cav-somenzi019,
  title = {Reinforcement Learning and Formal Requirements},
  author = {Fabio Somenzi and Ashutosh Trivedi},
  year = {2019},
  url = {https://dblp.org/rec/conf/cav/Somenzi019},
  booktitle = {NSV@CAV 2019}
}