ECC'24 Pre-conference workshop on Data-Driven Verification and Control with Provable Guarantees

In this workshop, we bring together a number of researchers active in the area of data-driven verification and control with provable guarantees. The contributions will describe recently developed efforts towards new frontiers on the subject. Along with cherishing the exchange of ideas between researchers in the field, by gathering a number of key talks we aim to achieve the following goals for the audience attending the workshop:

• Provide to the researchers new to these topics an updated view of the state of the art on data-driven verification and control including indirect and direct data-driven techniques.
• Discuss scalable directions and areas to mitigate the, so-called, sample complexity.
• Suggest novel applications of these data-driven techniques.

Additionally, we hope the active discussions of the participants will lead to fruitful collaborations.