Alain Finkel

1. Forward analysis for WSTS, Part I: Completions
   2009/02/10 by Alain Finkel, Jean Goubault-Larrecq · 1 citation
   Computer Science · #cs.LO
2. Property-Directed Verification of Recurrent Neural Networks
   2020/09/22 by Igor Khmelnitsky, Daniel Neider, Khmelnitsky, Igor +15 · 1 citation
   Computer Science · #68Q60 #68T07 #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #D.2.4 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #I.2.6 #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms
3. Textualized and Feature-based Models for Compound Multimodal Emotion Recognition in the Wild
   2024/07/17 by Nicolas Richet, Soufiane Belharbi, Richet, Nicolas +19 · 3 citations
   Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Sentiment Analysis and Opinion Mining