Goharshady, Amir Kafshdar

3 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

IJCAI 2025 Smart Contracts for Trustless Sampling of Correlated Equilibria Togzhan Barakbayeva, Zhuo Cai, Amir Kafshdar Goharshady, Karaneh Keypoor

IJCAI 2018 Computational Approaches for Stochastic Shortest Path on Succinct MDPs Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati