TU Wien Informatics

Role

2021W

 

  • TACoS: A Tool for the MTL Controller Synthesis Problem / T. Hofmann, S. Schupp / 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
  • Controller Verification meets Controller Code: A Case Study / F. Freiberger, S. Schupp, H. Hermanns, E. Abraham / Talk: MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid); 2021-11-20 - 2021-11-22; in: "19th ACM-IEEE International Conference on Formal Methods and Models for System Design", Association for Computing Machinery, New York, NY, United States (2021), ISBN: 978-1-4503-9127-6; 98 - 103