Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

Nico Weise

Picture of Nico Weise

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 010, Oettingenstr. 67
E-Mail
firstname.lastname@sosy.ifi.lmu.de

GPG-Key

Please send me encrypted mails!
My GPG key: 0x15110123
Fingerprint: F384 AC41 2E4B F8B5 7873 D87B 6CDF 6321 1511 0123

Thesis Mentoring

Currently assigned topics
Verification of Timed Automata with BDDs [1]

Timed automata are model of computation that was invented 30 years ago with the goal of modelling not only the sequence of events but also the time of their occurrence. Timed automata are automata with a finite set of control states and clock variables whose values continuously increase over time. The objective of this thesis topic is to construct a basic reachability analysis for timed models.

If you're a student interested in writing your thesis at our chair, you should also have a look at our full list of currently available theses.