Concepedia

Đorđe Žikelić

ĐŽ

Statistics

Publications

7

Citations

210

H-Index

7

Active since

2016

Affiliations

Institute of Science and Technology Austria(Current)

University of Cambridge

Đorđe Žikelić is an author at Institute of Science and Technology Austria specializing in engineering, computer science, and probability theory.

Top concepts

EngineeringComputer ScienceProbabilityFormal MethodsFormal VerificationEntropyAutomated ReasoningStochastic CalculusSystems EngineeringStability

Publications per year

2016–2024

7

Publications

7

Stochastic invariants for probabilistic termination

Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić · 2016 · 89 citations

Engineering, Probabilistic Computation, Stochastic Phenomenon +16

Scalable Verification of Quantized Neural Networks

Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 28 citations · Full text

Engineering, Approximate Computing, Verification +12

Stochastic invariants for probabilistic termination

Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić · ACM SIGPLAN Notices · 2017 · 25 citations

Mathematical Programming, Strict Invariants, Engineering +18

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales

Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2022 · 22 citations · Full text

Stochastic Hybrid System, Neural Network Policies, Engineering +15

Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees

Đorđe Žikelić, Mathias Lechner, Thomas A. Henzinger et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2023 · 21 citations · Full text

Artificial Intelligence, Stochastic Hybrid System, Control Policy +11

1–5 of 7