Reduction Techniques for Model Checking and Learning in MDPs

Bharadwaj et al. "Reduction Techniques for Model Checking and Learning in MDPs." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/597

[Bharadwaj et al. "Reduction Techniques for Model Checking and Learning in MDPs." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/bharadwaj2017ijcai-reduction/) doi:10.24963/IJCAI.2017/597

@inproceedings{bharadwaj2017ijcai-reduction,
  title     = {{Reduction Techniques for Model Checking and Learning in MDPs}},
  author    = {Bharadwaj, Suda and Le Roux, Stéphane and Pérez, Guillermo A. and Topcu, Ufuk},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {4273-4279},
  doi       = {10.24963/IJCAI.2017/597},
  url       = {https://mlanthology.org/ijcai/2017/bharadwaj2017ijcai-reduction/}
}