Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

(Number in parentheses refer to weekly hours of presence time.)

Teaching in Winter 2020/21

Courses:

Seminars:

Teaching in Summer 2020

Courses:

Seminars:

Training (Praktikum):

Teaching in Winter 2019/20

Courses:

Seminars:

Training (Praktikum):

Teaching in Summer 2019

Courses:

Seminars:

Training (Praktikum):

Teaching in Winter 2018/19

Courses:

Seminars:

Training (Praktikum):

Teaching in Summer 2018

Courses:

Seminars:

Training (Praktikum):

Teaching in Winter 2017/18

Courses:

Seminars:

Training (Praktikum):

Teaching in Summer 2017

Courses:

Seminars:

Teaching in Winter 2016/17

Courses:

Seminars:

Information on teaching in previous semesters can be found on the PST homepage (German).