( en | de | ru )

 

Disambiguation of "van Huijgevoort, Birgit"

Author of the publication

copydeleteadd this publication to your clipboard
SySCoRe: Synthesis via Stochastic Coupling Relations.

, , , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Huynh Van Van

Christoph Vannahme

Staffan Lars Mikael Vandersee

Stefanie Vanis

Maxence Vandenbroucke

 

Other publications of authors with the same name

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱., , , and . HSCC, page 22:1-22:2. ACM, (2023)SySCoRe: Synthesis via Stochastic Coupling Relations., , , and . HSCC, page 13:1-13:11. ACM, (2023)Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems., , , and . CDC, page 7035-7042. IEEE, (2023)Similarity quantification for linear stochastic systems as a set-theoretic control problem., and . CoRR, (2020)ARCH-COMP19 Category Report: Stochastic Modelling., , , , , , , , , and 5 other author(s). ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 62-102. EasyChair, (2019)Similarity quantification for linear stochastic systems: A coupling compensator approach., and . Autom., (2022)Direct data-driven signal temporal logic control of linear systems., , , and . CoRR, (2023)Bayesian Approach to Temporal Logic Control of Uncertain Systems., , , and . CoRR, (2023)Correct-by-Design Control of Parametric Stochastic Systems., , , and . CDC, page 5580-5587. IEEE, (2022)