Best Tool Paper Award für Till Hofmann und Stefan Schupp

17.12.2021

Till Hofmann und Stefan Schupp haben mit ihrem tool paper "TACoS: A Tool for MTL Controller Synthesis" den Best Tool Paper Award bei der 19th International Conference on Software Engineering and Formal Methods gewonnnen. 

 
Beteiligte PhDs

Till Hofmann

Stefan Schupp