Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani. Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 7035-7042, IEEE, 2023. [doi]
Abstract is missing.