Policy Synthesis and Reinforcement Learning for Discounted LTL.

Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

Browse the full CAV paper archive.