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

Identifiers

• name variant {\DJ}or{\dj}e \v{Z}ikeli\'c 0.60 · backfill

Papers (6)

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

Mentions

• 2606.00840 #2 · arxiv_oai · confidence 0.70 {\DJ}or{\dj}e \v{Z}ikeli\'c

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
• Suguman Bansal 1 shared papers
• Thomas A. Henzinger 1 shared papers
• Vignesh Subramanian 1 shared papers