High-Frequency Vibration Reduction for Unmanned Ground Vehicles on Unstructured Terrain. - Hamza El-Kebir; Taha Shafa; Amartya Purushottam; Melkior Ornik; Ahmet Soylemezoglu (MESAS, 2021)

Maximal Ellipsoid Method for Guaranteed Reachability of Unknown Fully Actuated Systems. - Taha Shafa; Melkior Ornik (CDC, 2022)

Identifying Single-Input Linear System Dynamics from Reachable Sets. - Taha Shafa; Roy Dong; Melkior Ornik (CDC, 2023)

Reachability of Nonlinear Systems With Unknown Dynamics. - Taha Shafa; Melkior Ornik (IEEE Trans. Autom. Control., 2023)

Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems. - Taha Shafa; Melkior Ornik (CoRR, 2024)