Policy Synthesis and Reinforcement Learning for Discounted LTL

Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001. Policy Synthesis and Reinforcement Learning for Discounted LTL. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Volume 13964 of Lecture Notes in Computer Science, pages 415-435, Springer, 2023. [doi]

@inproceedings{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 0001},
  year = {2023},
  doi = {10.1007/978-3-031-37706-8_21},
  url = {https://doi.org/10.1007/978-3-031-37706-8_21},
  researchr = {https://researchr.org/publication/AlurBJPST23},
  cites = {0},
  citedby = {0},
  pages = {415-435},
  booktitle = {Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I},
  editor = {Constantin Enea and Akash Lal},
  volume = {13964},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-37706-8},
}