Anton Varonka
Univ.Ass. / MSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- On the Undecidability of Loop Analysis / Varonka, A., & Kovacs, L. (2022, October 12). On the Undecidability of Loop Analysis [Conference Presentation]. Reachability Problems, Kaiserslautern, Germany. https://doi.org/https://doi.org/10.1007/978-3-031-19135-0