Tobias Meggendorfer

1 paper in the IJCAI proceedings

IJCAI 2024

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties

with S. Akshay, Krishnendu Chatterjee, Đorđe Žikelić

doi:10.24963/ijcai.2024/1

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings