Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ehsan Kafshdar Goharshady
Map detail
Ehsan Kafshdar Goharshady9 visible / 9 total nodes / 30 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipEhsan Kafshdar GoharshadyAEhsan Kafshdar GoharshadyResearcherAutomated Approach for Solving Infinite-state Polynomial Reachability GamesWAutomated Approach for ...preprint / 2026Krishnendu ChatterjeeAKrishnendu ChatterjeeResearcherMehrdad KarrabiAMehrdad KarrabiResearcherMaximilian SeeligerAMaximilian SeeligerResearcherĐorđe ŽikelićAĐorđe ŽikelićResearcherArtificial IntelligenceTArtificial Intelligence22915 worksComputer Science and Game TheoryTComputer Science and Ga...1864 worksPolynomial Invariant Generation for Non-deterministic Recursive ProgramsWPolynomial Invariant Ge...preprint / 2020
Person8 links

Ehsan Kafshdar Goharshady

Researcher