3 papers
cs.CV2026
Lightweight Spatiotemporal Highway Lane Detection via 3D-ResNet and PINet with ROI-Aware Attention
Sorna Shanmuga Raja, Abdelhafid Zenati
This paper presents a lightweight, end-to-end highway lane detection architecture that jointly captures spatial and temporal information for robust performance in real-world drivin…
cs.AI2025
A Dynamical Systems Framework for Reinforcement Learning Safety and Robustness Verification
Ahmed Nasir, Abdelhafid Zenati
The application of reinforcement learning to safety-critical systems is limited by the lack of formal methods for verifying the robustness and safety of learned policies. This pape…
eess.SY2025
Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
Abdelhafid Zenati, Nabil Aouf
Among the major challenges in neural control system technology is the validation and certification of the safety and robustness of neural network (NN) controllers against various u…