Controlling timed automata against MTL specifications with TACoS
Hofmann, Till (Corresponding author); Schupp, Stefan
Amsterdam [u.a.] : Elsevier Science (2022, 2023)
Contribution to a book, Journal Article
In: Science of computer programming
Volume: 225
Page(s)/Article-Nr.: 102898
Institutions
- UnRAVeL Research Training Group [080060]
- Department of Computer Science [120000]
- Computer Science 5 (Knowledge-Based Systems Group) [121920]
Identifier
- DOI: 10.1016/j.scico.2022.102898
- RWTH PUBLICATIONS: RWTH-2022-10607