LTH-image
Claudio Mandrioli
Claudio Mandrioli
Ph.D. Student
claudio.mandrioli@control.lth.se
Phone: +46 46 222 87 95
Fax: +46 46 13 81 18

Phd student at the Automatic Control Department since January 2018. Part of the Wallemberg Autonomous Systems and Software Program (WASP).

My main research interest is autonomous software, with focus on the case where the autonomous layer is implemented using control theory. My work aims at defining methodologies for empirically and formally verify properties (both on the control and software perspective) for such systems.

 

Publications

Claudio Mandrioli, Alberto Leva, Martina Maggio: Dynamic Models for the Formal Verification of Big Data Applications via Stochastic Model Checking. In ''2nd IEEE Conference on Control Technology and Application, 2018''.