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 :