Record link: 
http://hdl.handle.net/20.500.12708/136155
-
Title: 
Controlling timed automata against MTL specifications with TACoS
en
Citation: 
Hofmann, T., & Schupp, S. (2023). Controlling timed automata against MTL specifications with TACoS. Science of Computer Programming, 225, Article 102898. https://doi.org/10.1016/j.scico.2022.102898
-
Publisher DOI: 
10.1016/j.scico.2022.102898
-
Publication Type: 
Article - Original Research Article
en
Language: 
English
-
Authors: 
Hofmann, Till 
Schupp, Stefan 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Journal: 
Science of Computer Programming 
-
ISSN: 
0167-6423
-
Date (published): 
2023
-
Number of Pages: 
5
-
Publisher: 
ELSEVIER
-
Peer reviewed: 
Yes
-
Keywords: 
Controller synthesis; Timed automata; Metric temporal logic
en
Research Areas: 
Mathematical and Algorithmic Foundations: 100%
-
Science Branch: 
1020 - Informatik: 70%
1010 - Mathematik: 30%
-
Appears in Collections:
Article

Show full item record

Page view(s)

150
checked on Nov 23, 2023

Download(s)

2
checked on Nov 23, 2023

Google ScholarTM

Check