Đorđe Žikelić

Available identifiers

zbMath Open zikelic.dordeMaRDI QIDQ2662674

List of research outcomes

Publication	Date of Publication	Type
On lexicographic proof rules for probabilistic termination	2024-09-25	Paper
Algorithms and hardness results for computing cores of Markov chains	2024-09-12	Paper
MDPs as distribution transformers: affine invariant synthesis for safety objectives	2024-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q6147287	2024-01-15	Paper
A learner-verifier framework for neural network controllers and certificates of stochastic systems	2023-12-13	Paper
On Lexicographic Proof Rules for Probabilistic Termination	2023-04-21	Paper
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5092369	2022-07-21	Paper
Bidding mechanisms in graph games	2021-04-14	Paper
Stochastic invariants for probabilistic termination	2017-10-20	Paper
Theorems about quadrilaterals and conics	2014-12-29	Paper

Research outcomes over time

This page was built for person: Đorđe Žikelić