This website uses technically necessary cookies to offer the best possible functionality.

Further Information

Skip to Content Skip to Main Navigation Skip to Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: An Efficient Normalisation Procedure for Linear Temporal Logic

Tuesday, December 01, 2020, 1:00pm

Location: Online Session

Speaker: Salomon Sickert-Zehnter (TU München and Hebrew University, Jerusalem)

last updated : 22/03/2021

Faculty of Mathematics, Computer Science and Natural Sciences

Business and Economics

Faculty of Civil Engineering

Services Institutions