Extracting Formal Models for User's Behaviors in Social Networks Using Automata and Machine Learning. - Negar Kashef; Fatemeh Ghassemi (FSEN, 2025)