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

Open in new window