Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata
| 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 | Engels, Gregor | |
| dc.contributor.editor | Hebig, Regina | |
| dc.contributor.editor | Tichy, Matthias | |
| dc.date.accessioned | 2023-01-18T13:38:39Z | |
| dc.date.available | 2023-01-18T13:38:39Z | |
| dc.date.issued | 2023 | |
| dc.description.abstract | We summarize our paper Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata which has been published in the proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022). | en |
| dc.identifier.isbn | 978-3-88579-726-5 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/40078 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2023 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-332 | |
| dc.subject | Stochastic Timed Game Automata | |
| dc.subject | Proactive Self-Adaptation | |
| dc.subject | Strategy Synthesis | |
| dc.subject | Statistical Model-Checking | |
| dc.title | Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 56 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 55 | |
| gi.conference.date | 20.–24. Februar 2023 | |
| gi.conference.location | Paderborn | |
| gi.conference.sessiontitle | Wissenschaftliches Hauptprogramm |
Dateien
Originalbündel
1 - 1 von 1