Thomas Haas

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 7

Top Topics

Multiagent Reinforcement Learning

Policy Iteration

Nash Equilibria

Top Venues

Proc. ACM Program. Lang.

Publications

Theodor Doll, Victor M. Fuenzalida, Helmut Schütte, Stefan Gassmann, Juan J. Velasco-Velez, Robert Köhler, Alex Kontschev, Thomas Haas, Bert Ungethüm, Andreas Walte, Jonas Oberröhrmann, Adrian Onken, Kasimir M. Philipp, Minh-Hai Nguyen, Thomas Lenarz, Achim Walter Hassel, Wolfgang Viöl
Physical Trace Gas Identification with the Photo Electron Ionization Spectrometer (PEIS). Sensors 24 (4) (2024)
Thomas Haas, René Pascasl Maseli, Roland Meyer, Hernán Ponce de León
Static Analysis of Memory Models for SMT Encodings. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Hernán Ponce de León, Thomas Haas, Roland Meyer
Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). TACAS (2) (2022)
Thomas Haas, Roland Meyer, Hernán Ponce de León
CAAT: consistency as a theory. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Hernán Ponce de León, Thomas Haas, Roland Meyer
Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). TACAS (2) (2021)
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CAV (2) (2020)
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CoRR (2020)
Rita Faddoul, Nadège Reverdy-Bruas, Anne Blayo, Thomas Haas, Christian Zeilmann
Optimisation of silver paste for flexography printing on LTCC substrate. Microelectron. Reliab. 52 (7) (2012)