A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs

Perez et al. "A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I19.30148

[Perez et al. "A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/perez2024aaai-pac/) doi:10.1609/AAAI.V38I19.30148

@inproceedings{perez2024aaai-pac,
  title     = {{A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs}},
  author    = {Perez, Mateo and Somenzi, Fabio and Trivedi, Ashutosh},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {21510-21517},
  doi       = {10.1609/AAAI.V38I19.30148},
  url       = {https://mlanthology.org/aaai/2024/perez2024aaai-pac/}
}