alphaFeedback
AA
cs.SYeess.SYcs.LGcs.ROcs.CRcs.CLmath.OCcs.AIcs.LOcs.CC

On Valency

published · living versions
W_de9nmmuq·v1 · currentpublished

Preprints & journals

76 papers in the corpus · 2015–2026
JEPA Learns What the Mask Leaves Unrecoverable2609.32481v1 · Peng Xie, Amr Alanwar2026 · 0 citationsarXiv
Sampling-based Certified Planning with Graphs of Convex Sets2608.29770v1 · Peng Xie, Amr Alanwar2026 · 0 citationsarXiv
Adaptive Temperature Control of Air Conditioners Based on Millimeter-Wave Radar and Light Gradient Boosting Machine Model.42740047 · Xia, Yunlong, Song, Zuoting, Zhang, Wanna et al.2026 · 0 citationsSensors (Basel, Switzerland). 2026;26(17)
Margin-Drop Coordinates for Cross-Budget Robustness Evaluation2609.26081v1 · Yanliang Huang, Zhen Zhang, Peng Xie et al.2026 · 0 citationsarXiv
CompCPZ: Preserving Multi-Modal Intent in Language-Guided Robot Manipulation2608.17717v1 · Zhen Zhang, Ahmad Hafez, Peng Xie et al.2026 · 0 citationsarXiv
Safe Multi-Robot Coordination via VLM-LLM Reasoning and Reachability Analysis2609.27816v1 · Mohamed Dwedar, Ahmad Hafez, Alexander Jesser et al.2026 · 0 citationsarXiv
Gated Recurrent Transformers: Expressive Depth through Recurrent Modulation2608.15062v4 · Amr Hegazy, Amr Alanwar, Mostafa Elhoushi2026 · 0 citationsarXiv
Certifying Plans under Model Mismatch: A Trilemma for Reachability from Scarce Data2608.02453v1 · Yanliang Huang, Zhen Zhang, Ahmad Hafez et al.2026 · 0 citationsarXiv
Probabilistic Reachable-Action Verification of Visuomotor Policies via Set-Based Training2608.02545v1 · Yanliang Huang, Zhuocheng Zhang, Peng Xie et al.2026 · 0 citationsarXiv
The Intruder Threshold: A Spectral Law for LoRA Fine-Tuning2607.23711v2 · Peng Xie, Amr Alanwar2026 · 0 citationsarXiv
Reachability Analysis With Probabilistic Zonotopes: Learning Realized Disturbances and Refining Aleatory Uncertainty2607.01352v1 · Amir Modares, Zhen Zhang, Themistoklis Charalambous et al.2026 · 0 citationsarXiv
Data-Driven Reachability Analysis Using Matrix Perturbation Theory2604.13862v1 · Peng Xie, Abdulla Fawzy, Zhen Zhang et al.2026 · 0 citationsarXiv
From Points to Sets: Set-Based Safety Verification in the Latent Space2604.05799v1 · Wenyuan Wu, Peng Xie, Zhen Zhang et al.2026 · 0 citationsarXiv
Data-Driven Reachability Analysis with Optimal Input Design2604.04758v1 · Peng Xie, Davide M. Raimondo, Rolf Findeisen et al.2026 · 0 citationsarXiv
Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation2604.02625v1 · Zhen Zhang, M. Umar B. Niazi, Michelle S. Chong et al.2026 · 0 citationsarXiv
Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data2604.02157v1 · Zhen Zhang, Ahmad Hafez, Peng Xie et al.2026 · 0 citationsarXiv
Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets2604.02159v1 · Zhen Zhang, Bogdan Gheorghe, Florin Stoican et al.2026 · 0 citationsarXiv
Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees2604.02173v1 · Zhen Zhang, Peng Xie, Wenyuan Wu et al.2026 · 0 citationsarXiv
Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings2604.00150v2 · Alireza Naderi, Ahmad Hafez, Abdulla Fawzy et al.2026 · 0 citationsarXiv
Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees2604.00283v1 · Yanliang Huang, Peng Xie, Wenyuan Wu et al.2026 · 0 citationsarXiv
Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions2604.00286v1 · Yanliang Huang, Peng Xie, Zhen Zhang et al.2026 · 0 citationsarXiv
Inclusion conditions for the Constrained Polynomial Zonotopic case2603.26621v1 · Bogdan Gheorghe, Amr Alanwar, Florin Stoican2026 · 0 citationsarXiv
Conformalized Data-Driven Reachability Analysis with PAC Guarantees2603.12220v2 · Yanliang Huang, Zhen Zhang, Peng Xie et al.2026 · 0 citationsarXiv
GNN-DIP: Neural Corridor Selection for Decomposition-Based Motion Planning2603.12361v3 · Peng Xie, Yanliang Huang, Wenyuan Wu et al.2026 · 0 citationsPublished to IROS 2026
Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets2511.07330v1 · Peng Xie, Sabin Diaconescu, Florin Stoican et al.2025 · 0 citationsarXiv
Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares2509.17058v2 · Alireza Naderi, Amr Hegazy, Amr Alanwar2025 · 0 citationsarXiv
Informed Hybrid Zonotope-based Motion Planning Algorithm2507.09309v5 · Peng Xie, Johannes Betz, Amr Alanwar2025 · 0 citationsarXiv
Guiding Giants: Lightweight Controllers for Weighted Activation Steering in LLMs2505.20309v3 · Amr Hegazy, Mostafa Elhoushi, Amr Alanwar2025 · 0 citationsarXiv
Data-Driven Reachability Analysis for Piecewise Affine Systems2504.04362v3 · Peng Xie, Johannes Betz, Davide M. Raimondo et al.2025 · 0 citationsarXiv
Data-Driven Nonconvex Reachability Analysis using Exact Multiplication2504.02147v2 · Zhen Zhang, M. Umar B. Niazi, Michelle S. Chong et al.2025 · 0 citationsarXiv
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes2504.01007v2 · Mohammed Adib Oumer, Amr Alanwar, Majid Zamani2025 · 1 citationarXiv
Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis2503.03911v1 · Ahmad Hafez, Alireza Naderi Akhormeh, Amr Hegazy et al.2025 · 1 citationarXiv
Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees2409.14366v3 · Mahsa Farjadnia, Angela Fontan, Amr Alanwar et al.2024 · 4 citationsarXiv
Privacy-Preserving Set-Based Estimation Using Differential Privacy and Zonotopes2408.17263v1 · Mohammed M. Dawoud, Changxin Liu, Karl H. Johansson et al.2024 · 0 citationsarXiv
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis2404.03308v1 · Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar et al.2024 · 3 citationsarXiv
Reachability Analysis Using Constrained Polynomial Logical Zonotopes2403.18564v2 · Ahmad Hafez, Frank J. Jiang, Karl H. Johansson et al.2024 · 2 citationsarXiv
Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors2309.05075v4 · M. Umar B. Niazi, Michelle S. Chong, Amr Alanwar et al.2023 · 0 citationsM. Umar B. Niazi, Michelle S. Chong, Amr Alanwar, and Karl H. Johansson. 2026. Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors. ACM Trans. Cyber-Phys. Syst. 1, 1 (January 2026)
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes2308.10634v1 · August Soderlund, Frank J. Jiang, Vandana Narri et al.2023 · 1 citationarXiv
Career total: 108 works. 76 are in this corpus.Showing the 50 most recent.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.