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 fusinglearningfrom 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.