ML Anthology

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

Steven Carr, Nils Jansen, Ufuk Topcu
IJCAI 2020 pp. 4121-4127
doi:10.24963/IJCAI.2020/570 /ijcai/2020/carr2020ijcai-verifiable/
PDF IJCAI Semantic Scholar

Cite

Text

Carr et al. "Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/570

Markdown

[Carr et al. "Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/carr2020ijcai-verifiable/) doi:10.24963/IJCAI.2020/570

BibTeX

@inproceedings{carr2020ijcai-verifiable,
  title     = {{Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints}},
  author    = {Carr, Steven and Jansen, Nils and Topcu, Ufuk},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2020},
  pages     = {4121-4127},
  doi       = {10.24963/IJCAI.2020/570},
  url       = {https://mlanthology.org/ijcai/2020/carr2020ijcai-verifiable/}
}