Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

Nian-Ze Lee

Ph.D. / National Taiwan University

Picture of Nian-Ze Lee

Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

E-Mail
firstname.lastname@sosy.ifi.lmu.de
Office Hours
By appointment
Personal Homepage
https://nianzelee.github.io/

GPG-Key

Please send me encrypted mails!
My GPG key: 0xEBA3A3F7F4F9BBEC
Fingerprint: 6211 DD38 D7BD 0167 253B B4F8 EBA3 A3F7 F4F9 BBEC