Luzie Schreiter auf der Konferenz ECC 2014 in Straßburg

Vom 25. - 27. Juni 2014 besuchte unsere wissenschaftliche Mitarbeiterin Luzie Schreiter  die „13th European Control Conference (ECC 2014 )“, welche in Straßburg abgehalten wurde.

Dort war sie Co-Chair der Session “Hybrid Systems” und stellte außerdem ihre Arbeit zum Thema „Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems“ vor.