Bayesian formal synthesis of unknown systems via robust simulation relations

DOI10.1109/TAC.2024.3459308MaRDI QIDQ6961320zbMATH OpenFDO

Authors Birgit C. van Huijgevoort, Sofie Haesaert, Sadegh Soudjani

Publication date 10 July 2025

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Bayesian formal synthesis of unknown systems via robust simulation relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6961320)