Formal Synthesis of Uncertainty Reduction Controllers
| dc.contributor.author | Carwehl, Marc | |
| dc.contributor.author | Imrie, Calum | |
| dc.contributor.author | Vogel, Thomas | |
| dc.contributor.author | Rodrigues, Genaina | |
| dc.contributor.author | Calinescu, Radu | |
| dc.contributor.author | Grunske, Lars | |
| dc.contributor.editor | Koziolek, Anne | |
| dc.contributor.editor | Lamprecht, Anna-Lena | |
| dc.contributor.editor | Thüm, Thomas | |
| dc.contributor.editor | Burger, Erik | |
| dc.date.accessioned | 2025-02-14T09:36:30Z | |
| dc.date.available | 2025-02-14T09:36:30Z | |
| dc.date.issued | 2025 | |
| dc.description.abstract | 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). | en |
| dc.identifier.doi | 10.18420/se2025-34 | |
| dc.identifier.issn | 2944-7682 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/45796 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik, Bonn | |
| dc.relation.ispartof | Software Engineering 2025 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-360 | |
| dc.subject | controller synthesis | |
| dc.subject | uncertainty | |
| dc.subject | self-adaptive systems | |
| dc.title | Formal Synthesis of Uncertainty Reduction Controllers | en |
| mci.conference.date | 22.-28. Februar 2025 | |
| mci.conference.location | Karlsruhe | |
| mci.conference.sessiontitle | Scientific Programme | |
| mci.reference.pages | 105-106 |
Dateien
Originalbündel
1 - 1 von 1