Tobias Gürtler

According to our database, Tobias Gürtler authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning.

Tobias Gürtler, Benjamin Lucien Kaminski

CoRR, February, 2026

2025

Programming and Reasoning in Partially Observable Probabilistic Environments.

Tobias Gürtler, Benjamin Lucien Kaminski

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025