Research
LASSO research
The LASSO project (Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems) aims at developing a new generation of scalable tools for cyber-physical systems through combining advanced model-checking techniques with machine learning.
On these pages you can read more about the research topics at the heart of the work in LASSO.
