Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/136155
-
Titel: 
Controlling timed automata against MTL specifications with TACoS
en
Zitat: 
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
-
Verlags-DOI: 
10.1016/j.scico.2022.102898
-
Publikationstyp: 
Artikel - Forschungsartikel
de
Sprache: 
Englisch
-
Autor_innen: 
Hofmann, Till 
Schupp, Stefan 
-
Organisations­einheit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Zeitschrift: 
Science of Computer Programming 
-
ISSN: 
0167-6423
-
Datum (veröffentlicht): 
2023
-
Umfang: 
5
-
Verlag: 
ELSEVIER
-
Peer Reviewed: 
Ja
-
Keywords: 
Controller synthesis; Timed automata; Metric temporal logic
en
Forschungs­schwerpunkte: 
Mathematical and Algorithmic Foundations: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 70%
1010 - Mathematik: 30%
-
Enthalten in den Sammlungen:
Article

Zur Langanzeige

Seiten Aufrufe

150
aufgerufen am 23.11.2023

Download(s)

2
aufgerufen am 23.11.2023

Google ScholarTM

Check