Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

News

Student talks at LMU

We regularly host student talks in the context of seminars, projects, and theses. All students and staff are welcome to participate. A list of all upcoming talks can be found in the talk schedule.

News