Picture for Amr Alanwar

Amr Alanwar

Predictive Traffic Rule Compliance using Reinforcement Learning

Add code
Mar 29, 2025
Viaarxiv icon

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis

Add code
Mar 05, 2025
Viaarxiv icon

Shared Situational Awareness with V2X Communication and Set-membership Estimation

Add code
Feb 10, 2023
Viaarxiv icon

Safe Reinforcement Learning using Data-Driven Predictive Control

Add code
Nov 20, 2022
Viaarxiv icon

Safe Reinforcement Learning Using Black-Box Reachability Analysis

Add code
Apr 15, 2022
Figure 1 for Safe Reinforcement Learning Using Black-Box Reachability Analysis
Figure 2 for Safe Reinforcement Learning Using Black-Box Reachability Analysis
Figure 3 for Safe Reinforcement Learning Using Black-Box Reachability Analysis
Figure 4 for Safe Reinforcement Learning Using Black-Box Reachability Analysis
Viaarxiv icon

Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics

Add code
Nov 08, 2021
Figure 1 for Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics
Viaarxiv icon

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information

Add code
Sep 15, 2021
Figure 1 for Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Figure 2 for Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Figure 3 for Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Figure 4 for Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Viaarxiv icon

Data-Driven Reachability Analysis from Noisy Data

Add code
May 15, 2021
Figure 1 for Data-Driven Reachability Analysis from Noisy Data
Figure 2 for Data-Driven Reachability Analysis from Noisy Data
Figure 3 for Data-Driven Reachability Analysis from Noisy Data
Figure 4 for Data-Driven Reachability Analysis from Noisy Data
Viaarxiv icon

Robust Data-Driven Predictive Control using Reachability Analysis

Add code
Mar 25, 2021
Figure 1 for Robust Data-Driven Predictive Control using Reachability Analysis
Figure 2 for Robust Data-Driven Predictive Control using Reachability Analysis
Figure 3 for Robust Data-Driven Predictive Control using Reachability Analysis
Figure 4 for Robust Data-Driven Predictive Control using Reachability Analysis
Viaarxiv icon

Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios

Add code
Mar 02, 2021
Figure 1 for Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios
Figure 2 for Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios
Figure 3 for Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios
Figure 4 for Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios
Viaarxiv icon