8 citations · 8 across the 7 of their papers we have counts for
10 papers
SLoSa: Small, Low-Power, and Safe Foundation Models for Robotic Task Planning
Weizhe Xu, Jialiang Fan, Essien Taylor +3
Safe robotic task planning requires planners that can reliably achieve task goals while satisfying safety constraints. Classical planners search over explicit symbolic task represe…
XoNav: An Exoskeleton as a Personalized Haptic Interface for Assisted Navigation
Debadrata Sarkar, Soumen Sen, Aman Arora
Walking without vision requires timely, unambiguous guidance, yet many wearable aids encode directions as audio or vibrotactile signals that users must translate into movement. We…
SafeInferCom: Safe Inference-Time Compute via Verifier-Guided Mid-Generation Intervention for Robotic Task Planning
Weizhe Xu, Jialiang Fan, Mengyu Liu +1
Large Reasoning Language Models (LRLMs) enable multi-step reasoning for robotic task planning, but continued reasoning can overwrite valid intermediate plans or leave constraint vi…
Safe-RULE: Safe Reinforcement UnLEarning
Shixiong Jiang, Taozheng Zhu, Fanxin Kong
Offline safe reinforcement learning (Safe RL) enables policy learning without online interactions, making it suitable for safety-critical systems such as robotics systems. However,…
SafeVLA-Bench: A Benchmark for the Success-Safety Gap in Vision-Language-Action Models
Jialiang Fan, Weizhe Xu, Oleg Sokolsky +3
Vision-language-action (VLA) benchmarks measure whether a policy completes a requested manipulation task, but binary success can hide safety violations along the trajectory: a poli…
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
Saurabh Bagchi, Hyunseung Kim, Tarek Abdelzaher +20
Resilience in cyber-physical systems (CPS) is the fundamental ability to maintain safety and critical functionality despite adverse "perturbations," which includes security attacks…
SafePilot: A Framework for Assuring LLM-enabled Cyber-Physical Systems
Weizhe Xu, Mengyu Liu, Fanxin Kong
Large Language Models (LLMs), deep learning architectures with typically over 10 billion parameters, have recently begun to be integrated into various cyber-physical systems (CPS)…
Enhancing LLM-Based Test Generation by Eliminating Covered Code
WeiZhe Xu, Mengyu Liu, Fanxin Kong
Automated test generation is essential for software quality assurance, with coverage rate serving as a key metric to ensure thorough testing. Recent advancements in Large Language…
Demonstration-Guided Observation Attacks on Black-Box Safe Reinforcement Learning Controllers for Robotic Systems
Jialiang Fan, Shixiong Jiang, Mengyu Liu +1
Safe reinforcement learning (Safe RL) learns robotic controllers that optimize task rewards under safety constraints, yet observation perturbations can induce safety violations. Ex…
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
Pengyuan Lu, Lin Zhang, Mengyu Liu +4
Cyber-physical systems (CPS) have experienced rapid growth in recent decades. However, like any other computer-based systems, malicious attacks evolve mutually, driving CPS to unde…