TACoS : A Tool for MTL Controller Synthesis

Hofmann, Till; Schupp, Stefan

Cham : Springer (2021)
Contribution to a book, Contribution to a conference proceedings

In: Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings / edited by Radu Calinescu, Corina S. Păsăreanu
Page(s)/Article-Nr.: 372-379

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Computer Science 5 (Knowledge-Based Systems Group) [121920]