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-06
- 2021-12-10; in: "Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods",
13085,
(2021),
372
- 379.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-92124-8_21
Created from the Publication Database of the Vienna University of Technology.