Le Roux, Stéphane

1 publications

IJCAI 2017 Reduction Techniques for Model Checking and Learning in MDPs Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu