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.
![](https://www.lasso-cs.dk/wp-content/uploads/sites/5/2016/03/LASSO_topbillede.jpg)
![](https://www.lasso-cs.dk/wp-content/uploads/sites/5/2016/03/LASSO_topbillede.jpg)
![](https://www.lasso-cs.dk/wp-content/uploads/sites/5/2016/03/LASSO_topbillede.jpg)