Evaluating the Dedicated Short-range Communication for Connected Vehicles against Network Security Attacks. - Tu Le; Ingy Elsayed-Aly; Weizhao Jin; Seunghan Ryu; Guy Verrier; Tamjid Al Rahat; B. Brian Park; Yuan Tian 001 (VEHITS, 2020)

Safe Multi-Agent Reinforcement Learning via Shielding. - Ingy Elsayed-Aly; Suda Bharadwaj; Christopher Amato; Rüdiger Ehlers; Ufuk Topcu; Lu Feng 001 (AAMAS, 2021)

Logic-based Reward Shaping for Multi-Agent Reinforcement Learning. - Ingy Elsayed-Aly; Lu Feng 001 (CoRR, 2022)

Artifact for: Distributional Probabilistic Model Checking. - Ingy Elsayed-Aly; David Parker 001; Lu Feng 001 (Zenodo, 2023)

Artifact for: Distributional Probabilistic Model Checking. - Ingy Elsayed-Aly; David Parker 001; Lu Feng 001 (Zenodo, 2023)

Distributional Probabilistic Model Checking. - Ingy Elsayed-Aly; David Parker 001; Lu Feng 001 (NFM, 2024)

Adaptive Reward Design for Reinforcement Learning in Complex Robotic Tasks. - Minjae Kwon; Ingy Elsayed-Aly; Lu Feng 001 (CoRR, 2024)

Adaptive Reward Design for Reinforcement Learning. - Minjae Kwon; Ingy Elsayed-Aly; Lu Feng 001 (UAI, 2025)