According to our database1, Daniel Gburek authored at least 5 papers between 2015 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Stochastic transition systems: bisimulation, logic, and composition.
PhD thesis, 2018
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Bisimulations, logics, and trace distributions for stochastic systems with rewards.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Composition of Stochastic Transition Systems Based on Spans and Couplings.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Ratio and Weight Quantiles.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015