Ehsan Kafshdar Goharshady
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Qualitative Analysis of ω-Regular Objectives on Robust MDPs. | Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee |
| 2026 | COLT | Strongly Polynomial Time Complexity of Policy Iteration for L | Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Alipasha Montaseri, Carlo Pagano |
| 2026 | CONCUR | Generalized Bidding Games: Where Bidding and Stochastic Games Meet. | Ali Asadi, Thomas A. Henzinger, Ehsan Kafshdar Goharshady, Pavol Kebis, Kaushik Mallik |
| 2025 | AAAI | Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic |
| 2025 | ATVA | PolyQEnt: A Polynomial Quantified Entailment Solver. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic |
| 2025 | TACAS | Refuting Equivalence in Probabilistic Programs with Conditioning. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic |
| 2024 | CONCUR | Bidding Games with Charging. | Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik |
| 2024 | FM | Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic |
| 2024 | IJCAI | Solving Long-run Average Reward Robust MDPs via Stochastic Games. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotn, Dorde Zikelic |
| 2021 | FM | On Lexicographic Proof Rules for Probabilistic Termination. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Jiri Zrevcky, Dorde Zikelic |
| 2021 | PLDI | Proving non-termination by program reversal. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic |
| 2020 | PLDI | Polynomial invariant generation for non-deterministic recursive programs. | Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady |
| 2019 | SAC | The treewidth of smart contracts. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady |