Concept

The vision of FOCETA is to introduce a mixed approach for engineering trustworthy learning-enabled autonomous systems based on combining the advantages of data-based (performance) and model-based (guarantees) techniques.

 

Integrate Learning Enabled Components (LECs) and classical components on the level of models.

Generate a new paradigm for implementing safety-aware LECs by fusing learning from examples and synthesis from specification.

Transfer verification technology for model-driven design to verification of LECs, and conversely, utilize ML to improve testing of models.