Đorđe Žikelić
12 papers · 2021–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🐝 Cross-Pollinator (15) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (3) 🧭 Keyword Pioneer 🌈 Renaissance Researcher (8)
🌉
Interdisciplinary Bridge
🌍
Conference Polyglot
(3)
🏆
Keyword Champion
(2)
💎
Century Club
(12)
🔥
Unstoppable
(5)
🗃️
Keyword Collector
(66)
Conferences
AAAI (7)
IJCAI (3)
NIPS (2)
Top co-authors
Research topics
Keywords
formal verification
(6)
reinforcement learning
(3)
stochastic control
(3)
reach-avoid specification
(2)
control policy
(2)
quantized neural network
(2)
neural network
(2)
compositional learning
(1)
posterior sampling
(1)
adversarial robustness
(1)
probability distribution
(1)
lyapunov function
(1)
linear programming
(1)
complexity analysis
(1)
markov decision process
(1)
probabilistic inference
(1)
neural network verification
(1)
stochastic game
(1)
average reward
(1)
stochastic system
(1)
Papers
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
AAAI 2025
Neural Control and Certificate Repair via Runtime Monitoring
AAAI 2025
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
IJCAI 2025
Solving Long-run Average Reward Robust MDPs via Stochastic Games
IJCAI 2024
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
IJCAI 2024
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
AAAI 2023
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
NIPS 2023
Bidding Graph Games with Partially-Observable Budgets
AAAI 2023
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees
AAAI 2023
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
AAAI 2022
Infinite Time Horizon Safety of Bayesian Neural Networks
NIPS 2021
Scalable Verification of Quantized Neural Networks
AAAI 2021