Akshay, S.

4 publications

IJCAI 2025 LP-Based Weighted Model Integration over Non-Linear Real Arithmetic S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic

ICLR 2025 Sensitivity Verification for Additive Decision Tree Ensembles Arhaan Ahmad, Tanay Vineet Tayal, Ashutosh Gupta, S. Akshay

AAAI 2024 Auditable Algorithms for Approximate Model Counting Kuldeep S. Meel, Supratik Chakraborty, S. Akshay

IJCAI 2024 Certified Policy Verification and Synthesis for MDPs Under Distributional Reach-Avoidance Properties S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic