Julian Gutierrez 0001, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge. Rational Verification for Probabilistic Systems. In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem 0001, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. pages 312-322, 2021. [doi]
@inproceedings{0001HLNW21,
title = {Rational Verification for Probabilistic Systems},
author = {Julian Gutierrez 0001 and Lewis Hammond and Anthony W. Lin and Muhammad Najib and Michael J. Wooldridge},
year = {2021},
doi = {10.24963/kr.2021/30},
url = {https://doi.org/10.24963/kr.2021/30},
researchr = {https://researchr.org/publication/0001HLNW21},
cites = {0},
citedby = {0},
pages = {312-322},
booktitle = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021},
editor = {Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem 0001},
isbn = {978-1-956792-99-7},
}