TACoS : A Tool for MTL Controller Synthesis
Hofmann, Till; Schupp, Stefan
Cham : Springer (2021)
Buchbeitrag, Beitrag zu einem Tagungsband
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
Seite(n)/Artikel-Nr.: 372-379
Einrichtungen
- Graduiertenkolleg UnRAVeL [080060]
- Fachgruppe Informatik [120000]
- Lehr- und Forschungsgebiet Informatik 5 (Wissensbasierte Systeme) [121920]
Identifikationsnummern
- DOI: 10.1007/978-3-030-92124-8_21
- RWTH PUBLICATIONS: RWTH-2021-11596