%0 Conference Paper %1 conf/cav/AlurBJPST23 %A Alur, Rajeev %A Bastani, Osbert %A Jothimurugan, Kishor %A Perez, Mateo %A Somenzi, Fabio %A Trivedi, Ashutosh %B CAV (1) %D 2023 %E Enea, Constantin %E Lal, Akash %I Springer %K dblp %P 415-435 %T Policy Synthesis and Reinforcement Learning for Discounted LTL. %U http://dblp.uni-trier.de/db/conf/cav/cav2023-1.html#AlurBJPST23 %V 13964 %@ 978-3-031-37706-8

@inproceedings{conf/cav/AlurBJPST23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Alur, Rajeev and Bastani, Osbert and Jothimurugan, Kishor and Perez, Mateo and Somenzi, Fabio and Trivedi, Ashutosh}, biburl = {https://www.bibsonomy.org/bibtex/2ea5ba37a2da724f498784711b9eb8558/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2023-1}, editor = {Enea, Constantin and Lal, Akash}, ee = {https://doi.org/10.1007/978-3-031-37706-8_21}, interhash = {0b61c9833b89fc197626fe8b22f4fa65}, intrahash = {ea5ba37a2da724f498784711b9eb8558}, isbn = {978-3-031-37706-8}, keywords = {dblp}, pages = {415-435}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:32.000+0200}, title = {Policy Synthesis and Reinforcement Learning for Discounted LTL.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2023-1.html#AlurBJPST23}, volume = 13964, year = 2023 }