Ehsan Kafshdar Goharshady
- Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
2024/03/08 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Amir Kafshdar Goharshady +7 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- On Lexicographic Proof Rules for Probabilistic Termination
2021/08/04 by Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Chatterjee, Krishnendu +7 · 2 citations
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Decision-Making and Behavioral Economics #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL)
- PolyQEnt: A Polynomial Quantified Entailment Solver
2024/08/07 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Amir Kafshdar Goharshady +10 · 4 citations
Mathematics · Biochemistry, Genetics and Molecular Biology · Computer Science · #Mathematics and Applications #DNA and Biological Computing #Advanced Graph Theory Research
- Equivalence and Similarity Refutation for Probabilistic Programs
2024/04/04 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady +5 · 1 citation
Computer Science · #Bayesian Modeling and Causal Inference #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning and Algorithms #Programming Languages (cs.PL)