Đorđe Žikelić
4
papers
5
total citations
papers (4)
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
AAAI 2025arXiv
3
citations
Neural Control and Certificate Repair via Runtime Monitoring
AAAI 2025arXiv
2
citations
Infinite Time Horizon Safety of Bayesian Neural Networks
NeurIPS 2021arXiv
0
citations
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
NeurIPS 2023arXiv
0
citations