:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nasir, Ahmed, Zenati, Abdelhafid
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2508.15588
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
by: Zenati, Abdelhafid, et al.
Published: (2022)

Safety Guarantees in Zero-Shot Reinforcement Learning for Cascade Dynamical Systems
by: Rabiei, Shima, et al.
Published: (2026)

A Comprehensive Framework for Reliable Legal AI: Combining Specialized Expert Systems and Adaptive Refinement
by: Nasir, Sidra, et al.
Published: (2024)

Lightweight Spatiotemporal Highway Lane Detection via 3D-ResNet and PINet with ROI-Aware Attention
by: Raja, Sorna Shanmuga, et al.
Published: (2026)

Digital Twin-Assisted Explainable AI for Robust Beam Prediction in mmWave MIMO Systems
by: Khan, Nasir, et al.
Published: (2025)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Ethical Framework for Harnessing the Power of AI in Healthcare and Beyond
by: Nasir, Sidra, et al.
Published: (2023)

SAQ: Stabilizer-Aware Quantum Error Correction Decoder
by: Zenati, David, et al.
Published: (2025)

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
by: Coppola, Rudi, et al.
Published: (2025)

Attention-Guided Fusion of 1D and 2D CNNs for Robust ECG-Based Biometric Recognition
by: Arioua, et al.
Published: (2026)

A Hybrid Knowledge-Grounded Framework for Safety and Traceability in Prescription Verification
by: Zhu, Yichi, et al.
Published: (2026)

Self-Improving Safety Performance of Reinforcement Learning Based Driving with Black-Box Verification Algorithms
by: Dagdanov, Resul, et al.
Published: (2022)

Reinfier and Reintrainer: Verification and Interpretation-Driven Safe Deep Reinforcement Learning Frameworks
by: Yang, Zixuan, et al.
Published: (2024)

Deep Reinforcement Learning Based Systems for Safety Critical Applications in Aerospace
by: Sherifi, Abedin
Published: (2024)

A Safety-Constrained Reinforcement Learning Framework for Reliable Wireless Autonomy
by: Ibrahim, Abdikarim Mohamed, et al.
Published: (2026)

Information-Theoretic Limits of Safety Verification for Self-Improving Systems
by: Scrivens, Arsenios
Published: (2026)

Explainable Graph Neural Networks for Interbank Contagion Surveillance: A Regulatory-Aligned Framework for the U.S. Banking Sector
by: Uddin, Mohammad Nasir
Published: (2026)

From Roots to Rewards: Dynamic Tree Reasoning with Reinforcement Learning
by: Bahloul, Ahmed, et al.
Published: (2025)

Tool Verification for Test-Time Reinforcement Learning
by: Liao, Ruotong, et al.
Published: (2026)

Explainable and Robust Millimeter Wave Beam Alignment for AI-Native 6G Networks
by: Khan, Nasir, et al.
Published: (2025)

Automatic Curriculum Learning for Driving Scenarios: Towards Robust and Efficient Reinforcement Learning
by: Abouelazm, Ahmed, et al.
Published: (2025)

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
by: Dong, Yi, et al.
Published: (2022)

A Robust and Efficient Multi-Agent Reinforcement Learning Framework for Traffic Signal Control
by: Huang, Sheng-You, et al.
Published: (2026)

VerIF: Verification Engineering for Reinforcement Learning in Instruction Following
by: Peng, Hao, et al.
Published: (2025)

Incompleteness of AI Safety Verification via Kolmogorov Complexity
by: Hasan, Munawar
Published: (2026)

A Dual-Agent Adversarial Framework for Robust Generalization in Deep Reinforcement Learning
by: Xie, Zhengpeng, et al.
Published: (2025)

On Distributional Reinforcement Learning in Chaotic Dynamical Systems
by: Rudd-Jones, James, et al.
Published: (2026)

Fine-Grained Causal Dynamics Learning with Quantization for Improving Robustness in Reinforcement Learning
by: Hwang, Inwoo, et al.
Published: (2024)

Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning
by: Marzari, Luca, et al.
Published: (2026)

Efficient Stimuli Generation using Reinforcement Learning in Design Verification
by: Gadde, Deepak Narayan, et al.
Published: (2024)

MitoDetect++: A Domain-Robust Pipeline for Mitosis Detection and Atypical Subtyping
by: Nasir, Esha Sadia, et al.
Published: (2025)

Reinforcement Learning for Versatile, Dynamic, and Robust Bipedal Locomotion Control
by: Li, Zhongyu, et al.
Published: (2024)

Efficiency Robustness of Dynamic Deep Learning Systems
by: Rathnasuriya, Ravishka, et al.
Published: (2025)

Internalizing Safety Understanding in Large Reasoning Models via Verification
by: Zhang, Yi, et al.
Published: (2026)

Upper and Lower Bounds for Distributionally Robust Off-Dynamics Reinforcement Learning
by: Liu, Zhishuai, et al.
Published: (2024)

Dynamic Adversarial Reinforcement Learning for Robust Multimodal Large Language Models
by: Bao, Yicheng, et al.
Published: (2026)

Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards
by: Liu, Xiaoyuan, et al.
Published: (2025)

Efficient Deep Reinforcement Learning with Predictive Processing Proximal Policy Optimization
by: Küçükoğlu, Burcu, et al.
Published: (2022)

Agent Safety Alignment via Reinforcement Learning
by: Sha, Zeyang, et al.
Published: (2025)