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

1 - 1 von 1