Reduction Techniques for Model Checking and Learning in MDPs.

Suda Bharadwaj, Stphane Le Roux, Guillermo A. Prez, Ufuk Topcu

Browse the full IJCAI paper archive.