Best tool-paper award @SEFM'21
We are happy to announce, that our tool-paper on our tool TACoS (Timed Automata-based Controller Synthesis) won the award for the best tool-paper at SEFM’21.
We are happy to announce, that our tool-paper on our tool TACoS (Timed Automata-based Controller Synthesis) won the award for the best tool-paper at SEFM’21.