Đorđe Žikelić

zbMath Openzikelic.dordeMaRDI QIDQ2662674

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On lexicographic proof rules for probabilistic termination Formal Aspects of Computing	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
scientific article; zbMATH DE number 7788376 (Why is no real title available?)	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
scientific article; zbMATH DE number 7561655 (Why is no real title available?)	2022-07-21	Paper
Bidding mechanisms in graph games Journal of Computer and System Sciences	2021-04-14	Paper
Stochastic invariants for probabilistic termination Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Theorems about quadrilaterals and conics International Journal of Computer Mathematics	2014-12-29	Paper

Research outcomes over time

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