Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Publications by Thomas Haas

Publications by Thomas Haas

Conference contributions

  1. Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games, with Kittiphon Phalakarn, Toru Takisaka, and Ichiro Hasuo.
    In Proceedings of CAV 2020.
    DOI | arXiv


  1. Probabilistic Programming: Applications of Martingales beyond Reachability. Master's Thesis.
    Technische Universität Braunschweig, 2019.