Formal Synthesis of Uncertainty Reduction Controllers

Carwehl, MarcImrie, CalumVogel, ThomasRodrigues, GenainaCalinescu, RaduGrunske, LarsKoziolek, AnneLamprecht, Anna-LenaThüm, ThomasBurger, Erik2025-02-142025-02-1420252944-7682https://dl.gi.de/handle/20.500.12116/45796In this extended abstract, we summarise our work on the Parley approach and uncertainty reduction controllers. This work has been published under the title “Formal Synthesis of Uncertainty Reduction Controllers” at the Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’24).encontroller synthesisuncertaintyself-adaptive systemsFormal Synthesis of Uncertainty Reduction Controllers10.18420/se2025-34