David Hyland, Julian Gutierrez 0001, Shankaranarayanan Krishna, Michael J. Wooldridge. Rational Verification with Quantitative Probabilistic Goals. In Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia Dignum, editors, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024. pages 871-879, ACM, 2024. [doi]
Abstract is missing.