2 papers
cs.SE2026
Synthesizing Behavioural Models of CPS Using Automata Learning and Statistical Machine Learning
Negin Ayoughi, Baharin A. Jodat, Armina Faghihi +3
Inferring behavioural models from system executions is essential for supporting formal verification and analysis of complex, heterogeneous cyber-physical systems (CPS). Automata le…
cs.CR2024
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh +1
Intrusion detection systems are crucial for network security. Verification of these systems is complicated by various factors, including the heterogeneity of network platforms and…