Graph explorer

Research map

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

Đorđe Žikelić
Map detail
Đorđe Žikelić12 visible / 12 total nodes / 35 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 onAuthorshipAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalAuthorshipĐorđe ŽikelićAĐorđe ŽikelićResearcherAutomated Approach for Solving Infinite-state Polynomial Reachability GamesWAutomated Approach for ...preprint / 2026Krishnendu ChatterjeeAKrishnendu ChatterjeeResearcherMaximilian SeeligerAMaximilian SeeligerResearcherEhsan Kafshdar GoharshadyAEhsan Kafshdar GoharshadyResearcherMehrdad KarrabiAMehrdad KarrabiResearcherDifferential Cost Analysis with Simultaneous Potentials and Anti-potentialsWDifferential Cost Analy...preprint / 2022Learning Stabilizing Policies in Stochastic Control SystemsWLearning Stabilizing Po...preprint / 2022Artificial IntelligenceTArtificial Intelligence22915 worksComputer Science and Game TheoryTComputer Science and Ga...1864 worksScalable Verification of Quantized Neural Networks (Technical Report)WScalable Verification o...preprint / 2022Stochastic Invariants for Probabilistic TerminationWStochastic Invariants f...preprint / 2016
Person11 links

Đorđe Žikelić

Researcher