Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

Po-Chun Chien / 錢柏均

Picture of Po-Chun Chien / 錢柏均

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

Office
Room F 012, Oettingenstr. 67
Office hours
by appointment, please send me an e-mail in advance
Phone
+49 89 2180-9185
E-Mail
firstname.lastname@sosy.ifi.lmu.de
Personal Homepage
po-chun-chien.github.io
ORCID
0000-0001-5139-5178

GPG-Key

Please send me encrypted mails!
My GPG key: 0xBF5174377577E298
Fingerprint: E9A3 CF7F C45B BDE1 17A9 BFE5 BF51 7437 7577 E298