APLAS & ATVA 2026 (series) / Tobias Winkler
Registered user since Tue 30 Nov 2021
Name:Tobias Winkler
Country:Germany
Affiliation:RWTH Aachen University
Personal website: https://moves.rwth-aachen.de/people/tobias-winkler/
Research interests:Probabilistic Model Checking, Probabilistic Programs
Contributions
Using general profile