Đorđe Žikelić
12 papers · 2021–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (29) 🗃️ Keyword Collector (66)
💎
Century Club · Bronze
🔥
Unstoppable · Bronze
🌈
Renaissance Researcher
(6)
Venues
Top co-authors
Research topics
Artificial Intelligence
(11)
Core AI
(10)
Machine Learning
(6)
Optimization & Theory
(5)
Reinforcement Learning
(4)
Deep Learning
(3)
Methods
(3)
Mathematics & Optimization
(2)
Robotics
(2)
Applications
(2)
Architectures
(2)
Bayesian & Probabilistic
(2)
Optimization
(2)
Computer Science
(1)
Knowledge & Reasoning
(1)
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
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
IJCAI 2025
Neural Control and Certificate Repair via Runtime Monitoring
AAAI 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
AAAI 2025
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
IJCAI 2024
Solving Long-run Average Reward Robust MDPs via Stochastic Games
IJCAI 2024
Bidding Graph Games with Partially-Observable Budgets
AAAI 2023
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
NeurIPS 2023
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees
AAAI 2023
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
AAAI 2023
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
AAAI 2022
Infinite Time Horizon Safety of Bayesian Neural Networks
NeurIPS 2021
Scalable Verification of Quantized Neural Networks
AAAI 2021