Lancaster University Leipzig is proud to announce that Dr Tobias Meggendorfer, Assistant Professor in Computer Science, has been awarded two Distinguished Paper Awards at the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
His contributions push the boundaries of Computer Science regarding machine learning, logic, and statistical model checking, reinforcing Lancaster University Leipzig’s commitment to impactful and innovative research with universities around the globe.
Paper 1: “SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning”
(Co-authored with Jan Křetínský, Maximilian Prokop, and Ashkan Zarkhah from Masaryk University)
https://lnkd.in/euDZTWEd
Paper 2: “Sound Statistical Model Checking for Probabilities and Expected Rewards”
(Co-authored with Carlos Esteban Budde from DTU – Technical University of Denmark, Arnd Hartmanns from University of Twente, Maximilian Weininger from the Institute of Science and Technology Austria, and Patrick Wienhöft from Technische Universität Dresden)
