@inproceedings{dblp-conf-aaai-perezs024,
  title = {A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs},
  author = {Mateo Perez and Fabio Somenzi and Ashutosh Trivedi},
  year = {2024},
  url = {https://dblp.org/rec/conf/aaai/PerezS024},
  booktitle = {AAAI 2024}
}