activity
20102021
most citedCertification of embedded systems based on Machine Learning: A survey

10 citations · 12 across the 3 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

cs.SE2021

Formal verification of space systems designed with TASTE

I Dragomir, M Bozga, Iulian Ober +4

Model-Based Systems Engineering (MBSE) is a development approach aiming to build correct-by-construction systems, provided the use of clear, unambiguous and complete models to desc…

cs.AI2021★ 10 cited

Certification of embedded systems based on Machine Learning: A survey

Guillaume Vidot, Christophe Gabreau, Ileana Ober +1

Advances in machine learning (ML) open the way to innovating functions in the avionic domain, such as navigation/surveillance assistance (e.g. vision-based navigation, obstacle sen…