Daniel Gburek

According to our database1, Daniel Gburek authored at least 5 papers between 2015 and 2018.

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

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


  Loading...