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. Dartagnan: SMT-based Violation Witness Validation, with Hernan Ponce-de-Leon and Roland Meyer.
    In Proceedings of TACAS 2022. Competition Contribution (SVCOMP).
    PDF

  2. Dartagnan: Leveraging Compiler Optimizations and the Price of Precision, with Hernan Ponce-de-Leon and Roland Meyer.
    In Proceedings of TACAS 2021. Competition Contribution (SVCOMP).

  3. 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