DC Element
Wert
Sprache
dc.contributor.author
Hofmann, Till
-
dc.contributor.author
Schupp, Stefan
-
dc.date.accessioned
2022-12-05T14:40:07Z
-
dc.date.available
2022-12-05T14:40:07Z
-
dc.date.issued
2023
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Hofmann, T., &#38; Schupp, S. (2023). Controlling timed automata against MTL specifications with TACoS. <i>Science of Computer Programming</i>, <i>225</i>, Article 102898. https://doi.org/10.1016/j.scico.2022.102898</div> </div>
-
dc.identifier.issn
0167-6423
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/136155
-
dc.language.iso
en
-
dc.publisher
ELSEVIER
-
dc.relation.ispartof
Science of Computer Programming
-
dc.subject
Controller synthesis
en
dc.subject
Timed automata
en
dc.subject
Metric temporal logic
en
dc.title
Controlling timed automata against MTL specifications with TACoS
en
dc.type
Article
en
dc.type
Artikel
de
dc.contributor.affiliation
RWTH Aachen University, Germany
-
dcterms.dateSubmitted
2022-03-25
-
dc.type.category
Original Research Article
-
tuw.container.volume
225
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Science of Computer Programming
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1016/j.scico.2022.102898
-
dc.date.onlinefirst
2022-11-11
-
dc.identifier.articleid
102898
-
dc.identifier.eissn
1872-7964
-
dc.description.numberOfPages
5
-
tuw.author.orcid
0000-0002-2055-7581
-
wb.sci
true
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
70
-
wb.sciencebranch.value
30
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.openairetype
research article
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
crisitem.author.dept
RWTH Aachen University
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.orcid
0000-0002-8621-5939
-
crisitem.author.orcid
0000-0002-2055-7581
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
Enthalten in den Sammlungen:
Article
Zur Kurzanzeige

Seiten Aufrufe

150
aufgerufen am 23.11.2023

Download(s)

2
aufgerufen am 23.11.2023

Google ScholarTM

Check