Registered user since Fri 20 Jan 2023

Name:Tobias Meggendorfer
  • Post-Doc at Institute of Science and Technology Austria / Chatterjee Group
  • PhD at Technical University Munich / Jan Křetínský
  • MSc Math + MSc CS at Technical University Munich
Affiliation:IST Austria (Institute of Science and Technology Austria)
Research interests:Probabilistic Verification, Risk-Aware Control


PLDI 2023 Author in Artifact Evaluation Committee within the Research Artifacts-track
Show activities from other conferences

Using general profile