Daniel Gburek

According to our database, Daniel Gburek authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Stochastic transition systems: bisimulation, logic, and composition.

Daniel Gburek

PhD thesis, 2018

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes.

Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Bisimulations, logics, and trace distributions for stochastic systems with rewards.

Daniel Gburek, Christel Baier

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2016

Composition of Stochastic Transition Systems Based on Spans and Couplings.

Daniel Gburek, Christel Baier, Sascha Klüppelholz

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015

Ratio and Weight Quantiles.

Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

2014

Interface Theory for Stochastic Hybrid Systems.

Daniel Krähmann

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014