Formal Methods in Reinforcement Learning

Amin Falah, Shibashis Guha, Ashutosh Trivedi
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2025, Montreal, Canada, August 16-22, 2025 (2025)