Hyperproperties Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber

Instructors

Raven Beutner
Contact: ( )
Tutorial #7: Tuesday, 07:00 in

Norine Coenen
Contact: ( )
Tutorial #1: Tuesday, 01:00 in

Matthias Cosler
Contact: ( )
Tutorial #3: Tuesday, 03:00 in

Bernd Finkbeiner
Contact: ( )

Florian Kohn
Contact: ( )
Tutorial #2: Tuesday, 02:00 in
Tutorial #5: Tuesday, 05:00 in

Julian Siber
Contact: ( )
Tutorial #9: Tuesday, 09:00 in