ResearchAlpha Leak

Conferences Topics Top Authors Rankings Browse All

Home/Authors/Đorđe Žikelić

Đorđe Žikelić

Topic trends: 32,543 papers · similarity ≥ 0.4 · year ≥ 2024 · Data sourced from Semantic Scholar

34,598 papers | Abstracts: 31,650 (91.5%) | Citations: 34,598 (100.0%) | arXiv: 26,074 (75.4%)

Built: Feb 15, 2026, 9:14 AM AMS

4

papers

43

total citations

papers (4)

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees

NEURIPS 2023arXiv

Infinite Time Horizon Safety of Bayesian Neural Networks

NEURIPS 2021arXiv

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization

Neural Control and Certificate Repair via Runtime Monitoring