Akzeptiertes Paper von Till Hoffmann und Stefan Schupp

09.12.2022

Congratulations to Till Hoffmann und Stefan Schupp for their accepted paper "Controlling timed automata against MTL specifications with TACoS".