Oliver Schön, Sofie Haesaert, Sadegh Soudjani. Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates. In Pavithra Prabhakar, Andrea Vandin, editors, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings. Volume 16143 of Lecture Notes in Computer Science, pages 62-82, Springer, 2025. [doi]
Abstract is missing.