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

Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

Browse the full AAAI paper archive.