Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems

Open Webpage

Schon Oliver, van Huijgevoort Birgit, Haesaert Sofie, Soudjani Sadegh

Published: 01 Jan 2023, Last Modified: 12 Nov 2025IEEE Conference on Decision and ControlEveryoneRevisionsCC BY-SA 4.0