Research
Publications
Group
Teaching
Bio
Contact
Formal Methods in Reinforcement Learning
Continuous-Time Reward Machines
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)
PDF
·
BibTeX
formalRL