Formal Synthesis of Uncertainty Reduction Controllers

التفاصيل البيبلوغرافية
العنوان: Formal Synthesis of Uncertainty Reduction Controllers
المؤلفون: Carwehl, Marc, Imrie, Calum, Vogel, Thomas, Rodrigues, Genaina, Calinescu, Radu, Grunske, Lars
المصدر: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2024 IEEE/ACM 19th Symposium on. :2-13 Apr, 2024
Relation: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9798400705854
تدمد:21572321
DOI:10.1145/3643915.3644095