Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games
dc.contributor.author | Göttmann, Hendrik | |
dc.contributor.author | Caesar, Birte | |
dc.contributor.author | Beers, Lasse | |
dc.contributor.author | Lochau, Malte | |
dc.contributor.author | Schürr, Andy | |
dc.contributor.author | Fay, Alexander | |
dc.contributor.editor | Koziolek, Anne | |
dc.contributor.editor | Lamprecht, Anna-Lena | |
dc.contributor.editor | Thüm, Thomas | |
dc.contributor.editor | Burger, Erik | |
dc.date.accessioned | 2025-02-14T09:36:30Z | |
dc.date.available | 2025-02-14T09:36:30Z | |
dc.date.issued | 2025 | |
dc.description.abstract | We summarize our paper Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games which has been published in the Journal on Software and Systems Modeling | en |
dc.identifier.doi | 10.18420/se2025-33 | |
dc.identifier.eissn | 2944-7682 | |
dc.identifier.issn | 2944-7682 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/45795 | |
dc.language.iso | en | |
dc.publisher | Gesellschaft für Informatik, Bonn | |
dc.relation.ispartof | Software Engineering 2025 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-360 | |
dc.subject | Stochastic timed priced games | |
dc.subject | Proacive self-adaption | |
dc.subject | Strategy synthesis | |
dc.subject | Statistical Model-checking | |
dc.title | Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games | en |
mci.conference.date | 22.-28. Februar 2025 | |
mci.conference.location | Karlsruhe | |
mci.conference.sessiontitle | Scientific Programme | |
mci.reference.pages | 103-104 |
Dateien
Originalbündel
1 - 1 von 1