TY  - RPRT
TI  - A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
AU  - Mateo Perez
AU  - Fabio Somenzi
AU  - Ashutosh Trivedi
PY  - 2024
UR  - https://arxiv.org/abs/2310.12248
ID  - 2310.12248
ER  -