Best Paper Award auf der ESWEEK 2023 im Rahmen der MEMOCODE 2023 in Hamburg, 22.09.2023
Das Paper „Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers“ (Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann und Jürgen Teich) hat den Best Paper Award auf der ESWEEK 2023 im Rahmen des 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) in Hamburg gewonnen.
In ihrer Arbeit schlagen die Autoren einen neuartigen Ansatz zur Entwurfsraumexploration vor, bei dem eine Kombination aus evolutionären Algorithmen und Reinforcement Learning zum Einsatz kommt, um verifizierbare rückkopplungsbasierte Kontroller für nicht-funktionale Anforderungen bezüglich Latenz oder Energie effizient zu explorieren. In drei Fallstudien wird gezeigt, dass im Vergleich zu existierenden Ansätzen die Explorationszeit erheblich verkürzt werden kann. Außerdem wurde durch formelle Verifikation bewiesen, dass die generierten Kontroller die Verifikationsziele mit signifikant höheren Wahrscheinlichkeiten erfüllen als die bestehender Ansätze. Das Paper entstand im Rahmen des TRR 89 Invasive Computing.