Person
Dr.Salomon Sickert
Hebrew Univrsity of Jerusalem and Technical University of Munich
Address
Email:
s.sickert@tum.de
Online seminar talk “An Efficient Normalisation Procedure for Linear Temporal Logic”
Hosted by RTG QuantLA
Skip to Content Skip to Main Navigation Skip to Footer Skip to Search