Karrabi, Mehrdad
- 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
- 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
- Solving Long-run Average Reward Robust MDPs via Stochastic Games
2023/12/21 by Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad +2 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences