{\DJ}or{\dj}e \v{Z}ikeli\'c

Identifiers

No identifiers captured yet.

Papers (5)

1. Automated Approach for Solving Infinite-state Polynomial Reachability Games cs.AI · 2026 · author #5
2. SuperDP: Differential Privacy Refutation via Supermartingales cs.PL · 2026 · author #3
3. Bidding Mechanisms in Graph Games cs.GT · 2019 · author #3
4. Optimizing Expectation with Guarantees in POMDPs (Technical Report) cs.AI · 2016 · author #5
5. Stochastic Invariants for Probabilistic Termination cs.PL · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Krishnendu Chatterjee 4 shared papers
• Ehsan Kafshdar Goharshady 2 shared papers
• Petr Novotn\'y 2 shared papers
• Guillermo A. P\'erez 1 shared papers
• Guy Avni 1 shared papers
• Jean-Fran\c{c}ois Raskin 1 shared papers
• Maximilian Seeliger 1 shared papers
• Mehrdad Karrabi 1 shared papers
• Thomas A. Henzinger 1 shared papers