Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

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

Theses

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