Talks and Poster Presentations (with Proceedings-Entry):
T. Hofmann, S. Schupp:
"TACoS: A Tool for the MTL Controller Synthesis Problem";
Talk: SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods,
USA, Kazakhstan, UK;
- 2021-12-10; in: "Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.