Research activities
Our research field is vast and our techniques can be adapted to numerous contexts. Two examples of application fields: the synthesis of reliable controllers for embedded systems, the development of explainable AIs with strong guarantees.
Our unit is also associated with the following UMONS research institutes :
