Logo des Repositoriums
 
Textdokument

Formal Synthesis of Uncertainty Reduction Controllers

Vorschaubild

Volltext URI

Dokumententyp

Dateien

B8-4.pdf (42.39 KB)

Zusatzinformation

Datum

2025

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Software Engineering 2025

Verlag

Gesellschaft für Informatik, Bonn

Zusammenfassung

In 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).

Beschreibung

Carwehl, Marc; Imrie, Calum; Vogel, Thomas; Rodrigues, Genaina; Calinescu, Radu; Grunske, Lars (2025): Formal Synthesis of Uncertainty Reduction Controllers. Software Engineering 2025. DOI: 10.18420/se2025-34. Gesellschaft für Informatik, Bonn. ISSN: 2944-7682

Schlagwörter

controller synthesis , uncertainty , self-adaptive systems

Zitierform

DOI

10.18420/se2025-34

Tags

Sammlungen

P360- Software Engineering 2025