Trace-Aware LSTM Model Checking for Safety-Critical Systems. - Chaker Nasri; Ahlem Ben Younes; Leila Ben Ayed (RIF, 2025)