S. Akshay

2 papers in the IJCAI proceedings

IJCAI 2025

LP-Based Weighted Model Integration over Non-Linear Real Arithmetic

with Supratik Chakraborty, Soroush Farokhnia, Amir Goharshady, Harshit Jitendra Motwani, Đorđe Žikelić

doi:10.24963/ijcai.2025/1005

Details PDF

IJCAI 2024

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

with Krishnendu Chatterjee, Tobias Meggendorfer, Đorđe Žikelić

doi:10.24963/ijcai.2024/1

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings