Chizhov, Ivan, Lomonosov Moscow State University, Россия

• VI Международная научная конференция «Конвергентные когнитивно-информационные технологии» - Большие данные и приложения
  On Formal Verification of Machine Learning Systems
  Реферат