{"searchText":"","platformLangISOCode":"","countryLabel":"university","schoolTypeLabel":"doctorat-informatique","scholarGroupLabel":"formal-methods","subjectLabel":"formal-methods-for-machine-learning","limit":22}