MDPs as distribution transformers: Affine invariant synthesis for safety objectives

by AKSHAY, S., CHATTERJEE, Krishnendu, MEGGENDORFER, Tobias, ZIKELIC, Dorde
Published 2023

Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties

by AKSHAY, S., CHATTERJEE, Krishnendu, MEGGENDORFER, Tobias, ZIKELIC, Dorde
Published 2024

Quantitative bounds on resource usage of probabilistic programs

by CHATTERJEE, Krishnendu, GOHARSHADY, Amir Kafshdar, MEGGENDORFER, Tobias, ZIKELIC, Dorde
Published 2026

Sound and complete certificates for quantitative termination analysis of probabilistic programs

by CHATTERJEE, Krishnendu, GOHARSHADY, Amir Kafshdar, MEGGENDORFER, Tobias, ZIKELIC, Dorde
Published 2022

Reachability Poorman discrete-bidding games

by AVNI, Guy, MEGGENDORFER, Tobias, SADHUKHAN, Suman, TKADLEC, Josef, ZIKELIC, Dorde
Published 2023

Algorithms and hardness results for computing cores of Markov chains

by AHMADI, Ali, CHATTERJEE, Krishnendu, KAFSHDAR GOHARSHADY, Amir, MEGGENDORFER, Tobias, SAFAVI, Roodabeh, ZIKELIC, Dorde
Published 2020