# Daniel Gburek

According to our database

Collaborative distances:

^{1}, Daniel Gburek authored at least 5 papers between 2015 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2018

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

2016

Composition of Stochastic Transition Systems Based on Spans and Couplings.

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

2015

Ratio and Weight Quantiles.

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015