Goharshady, Ehsan Kafshdar

2 publications

AAAI 2025 Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic

IJCAI 2024 Solving Long-Run Average Reward Robust MDPs via Stochastic Games Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic