par Bharadwaj, Suda;Roux, Stephane Le;Perez, Guillermo A. ;Topcu, Ufuk
Référence Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17, page (4273-4279)
Publication Publié, 2017
Publication dans des actes
Titre:
  • Reduction Techniques for Model Checking and Learning in MDPs
Auteur:Bharadwaj, Suda; Roux, Stephane Le; Perez, Guillermo A.; Topcu, Ufuk
Informations sur la publication:Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17, page (4273-4279)
Statut de publication:Publié, 2017
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:info:doi/10.24963/ijcai.2017/597
https://doi.org/10.24963/ijcai.2017/597

Documents en relation

DI-fusion