@inproceedings{dblp-conf-cav-alurbjpst23,
  title = {Policy Synthesis and Reinforcement Learning for Discounted LTL},
  author = {Rajeev Alur and Osbert Bastani and Kishor Jothimurugan and Mateo Perez and Fabio Somenzi and Ashutosh Trivedi},
  year = {2023},
  url = {https://dblp.org/rec/conf/cav/AlurBJPST23},
  booktitle = {CAV (1) 2023}
}