ML Anthology
Authors
Search
About
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