DC Field
Value
Language
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, Aachen, 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.openairetype
Article
-
item.openairetype
Artikel
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.fulltext
no Fulltext
-
crisitem.author.dept
RWTH Aachen University, Aachen, Germany
-
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
-
Appears in Collections:
Article
Show simple item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

27
checked on May 1, 2023

Download(s)

1
checked on May 1, 2023

Google ScholarTM

Check