Picture for Amr Alanwar

Amr Alanwar

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes

Add code
Apr 01, 2025
Viaarxiv icon

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