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.
