Cover Image

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huang, Wei, Zhou, Yifan, Jin, Gaojie, Sun, Youcheng, Meng, Jie, Zhang, Fan, Huang, Xiaowei
Format:	Preprint
Published:	2020
Subjects:	Robotics Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
by: Li, Hongwei, et al.
Published: (2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
by: Liu, Yuwei, et al.
Published: (2026)

Revisiting Adversarial Perception Attacks and Defense Methods on Autonomous Driving Systems
by: Chen, Cheng, et al.
Published: (2025)

WaveVerif: Acoustic Side-Channel based Verification of Robotic Workflows
by: Erdogan, Zeynep Yasemin, et al.
Published: (2025)

EM-MIAs: Enhancing Membership Inference Attacks in Large Language Models through Ensemble Modeling
by: Song, Zichen, et al.
Published: (2024)

Propagating Unsafe Actions in LLM Controlled Multi-Robot Collaboration via Single Robot Compromise
by: Huang, Zhen, et al.
Published: (2026)

Towards Robust and Secure Embodied AI: A Survey on Vulnerabilities and Attacks
by: Xing, Wenpeng, et al.
Published: (2025)

POT: Inducing Overthinking in LLMs via Black-Box Iterative Optimization
by: Li, Xinyu, et al.
Published: (2025)

A Remote Control Painting System for Exterior Walls of High-Rise Buildings through Robotic System
by: Das, Diganta, et al.
Published: (2024)

Channel State Information Analysis for Jamming Attack Detection in Static and Dynamic UAV Networks -- An Experimental Study
by: Mykytyn, Pavlo, et al.
Published: (2025)

From Prompt to Physical Actuation: Holistic Threat Modeling of LLM-Enabled Robotic Systems
by: Nagaraja, Neha, et al.
Published: (2026)

Beyond Model Jailbreak: Systematic Dissection of the "Ten DeadlySins" in Embodied Intelligence
by: Huang, Yuhang, et al.
Published: (2025)

Uncertainty-Aware 3D Position Refinement for Multi-UAV Systems
by: Alamleh, Hosam, et al.
Published: (2026)

Implementing a Robot Intrusion Prevention System (RIPS) for ROS 2
by: Soriano-Salvador, Enrique, et al.
Published: (2024)

ARMOR: Robust Reinforcement Learning-based Control for UAVs under Physical Attacks
by: Dash, Pritam, et al.
Published: (2025)

RoboJailBench: Benchmarking Adversarial Attacks and Defenses in Embodied Robotic Agents
by: Yeke, Doguhuan, et al.
Published: (2026)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
by: Figge, Julius, et al.
Published: (2026)

Beware Untrusted Simulators -- Reward-Free Backdoor Attacks in Reinforcement Learning
by: Rathbun, Ethan, et al.
Published: (2026)

Compartmentalization-Aware Automated Program Repair
by: Hu, Jia, et al.
Published: (2026)

Safeguarding Large Language Models: A Survey
by: Dong, Yi, et al.
Published: (2024)

Procedimiento de auditoría de ciberseguridad para sistemas autónomos: metodología, amenazas y mitigaciones
by: Campazas-Vega, Adrián, et al.
Published: (2025)

SoK: Cybersecurity Assessment of Humanoid Ecosystem
by: Surve, Priyanka Prakash, et al.
Published: (2025)

Offensive Robot Cybersecurity
by: Mayoral-Vilches, Víctor
Published: (2025)

Towards Secure and Reliable Heterogeneous Real-time Telemetry Communication in Autonomous UAV Swarms
by: Mykytyn, Pavlo, et al.
Published: (2024)

ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs
by: Patil, Unmesh, et al.
Published: (2024)

GPS-IDS: An Anomaly-based GPS Spoofing Attack Detection Framework for Autonomous Vehicles
by: Abrar, Murad Mehrab, et al.
Published: (2024)

Adjustable AprilTags For Identity Secured Tasks
by: Li, Hao
Published: (2025)

AdvGrasp: Adversarial Attacks on Robotic Grasping from a Physical Perspective
by: Wang, Xiaofei, et al.
Published: (2025)

Diagnosis-guided Attack Recovery for Securing Robotic Vehicles from Sensor Deception Attacks
by: Dash, Pritam, et al.
Published: (2022)

Property-Guided Cyber-Physical Reduction and Surrogation for Safety Analysis in Robotic Vehicles
by: Sayom, Nazmus Shakib, et al.
Published: (2025)

Integrating Robotic Navigation with Blockchain: A Novel PoS-Based Approach for Heterogeneous Robotic Teams
by: Paykari, Nasim, et al.
Published: (2025)

Secure Multi-hop Telemetry Broadcasts for UAV Swarm Communication
by: Rotta, Randolf, et al.
Published: (2024)

Dynamic Deception: When Pedestrians Team Up to Fool Autonomous Cars
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2026)

On the Feasibility of Fingerprinting Collaborative Robot Network Traffic
by: Tang, Cheng, et al.
Published: (2023)

AGENTSAFE: Benchmarking the Safety of Embodied Agents on Hazardous Instructions
by: Ying, Zonghao, et al.
Published: (2025)

Cybersecurity and Embodiment Integrity for Modern Robots: A Conceptual Framework
by: Giaretta, Alberto, et al.
Published: (2024)

Challenges in Drone Firmware Analyses of Drone Firmware and Its Solutions
by: Kim, Yejun, et al.
Published: (2023)

Achieving the Safety and Security of the End-to-End AV Pipeline
by: Curran, Noah T., et al.
Published: (2024)

CONClave -- Secure and Robust Cooperative Perception for CAVs Using Authenticated Consensus and Trust Scoring
by: Andert, Edward, et al.
Published: (2024)