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.

Cyber-physical systems

Cyber-physical systems are…..

……

> Read more

Model-checking

About model-checking

etc etc

> Read more

Machine learning

About machine learning

etc etc

> Read more