Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)

26. April 2017, 09:00 , 10:30

Veranstalter:  Herr Yang Gao, M.Sc.
Ort:  OFFIS-Gebäude, Raum F02

M i t t e i l u n g 

Im Rahmen der Disputation seines Promotionsverfahrens hält Herr Yang Gao, M.Sc., seinen öffentlichen Vortrag zum Thema

„Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)”

am Mittwoch, den 26. April 2017, um 9.00 Uhr im OFFIS-Gebäude, Raum F02.

Mit der Teilnahme von Zuhörerinnen und Zuhörern an der anschließenden Prüfung bis 10.30 Uhr ist Herr Gao einverstanden.

gez. Prof. Dr.-Ing. A. Hahn