Daniel Gburek

Affiliations:
  • Technische Universität Dresden


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

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

2014
Interface Theory for Stochastic Hybrid Systems.
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014


  Loading...