Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

Dr. Stefan Winter

Picture of Dr. Stefan Winter

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 009, Oettingenstr. 67
Office hours
by appointment, please send me an e-mail in advance
Phone
+49 89 2180-9182
E-Mail
firstname.lastname@sosy.ifi.lmu.de
Personal Homepage
www.stefan-winter.net
ORCID
0000-0001-8244-995X