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