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