<div class="csl-bib-body">
<div class="csl-entry">Lukina, A., Esterle, L., Hirsch, C., Bartocci, E., Yang, J., Tiwari, A., Smolka, S. A., & Grosu, R. (2017). ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. In A. Legay & T. Margaria (Eds.), <i>Tools and Algorithms for the Construction and Analysis of Systems</i> (pp. 286–302). Springer. https://doi.org/10.1007/978-3-662-54580-5_17</div>
</div>
-
dc.identifier.isbn
9783662545799
-
dc.identifier.isbn
9783662545805
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/55463
-
dc.language.iso
en
-
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Tools and Algorithms for the Construction and Analysis of Systems
-
dc.relation.isbn
978-3-662-54579-9
-
dc.relation.doi
10.1007/978-3-662-54580-5
-
dc.relation.issn
0302-9743
-
dc.description.startpage
286
-
dc.description.endpage
302
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
10206
-
tuw.booktitle
Tools and Algorithms for the Construction and Analysis of Systems
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.researchTopic.id
X1
-
tuw.researchTopic.name
außerhalb der gesamtuniversitären Forschungsschwerpunkte
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/978-3-662-54580-5_17
-
dc.description.numberOfPages
17
-
tuw.event.name
TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
en
tuw.event.startdate
22-04-2017
-
tuw.event.enddate
29-04-2017
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Uppsala
-
tuw.event.country
SE
-
tuw.event.presenter
Lukina, Anna
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
E182 - Institut für Technische Informatik
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
