Projects per year
Projects
- 2 Finished
Search results
-
Finished
LIFTS: Learning Featured Transition Systems
Fortz, S., Perrouin, G. & Heymans, P.
1/10/20 → 31/12/21
Project: Research
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frénay, B., Schobbens, P. Y., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/22
Project: Research