Cover Image

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rafiq, Yasmin, Vázquez, Gricel, Calinescu, Radu, Dogramadzi, Sanja, Hierons, Robert M
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hybrid Control Strategies for Safe and Adaptive Robot-Assisted Dressing
by: Rafiq, Yasmin, et al.
Published: (2025)

Safety Controller Synthesis for Collaborative Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Hazard Management in Robot-Assisted Mammography Support
by: Stefanakos, Ioannis, et al.
Published: (2026)

Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning
by: Vázquez, Gricel, et al.
Published: (2025)

Verification and External Parameter Inference for Stochastic World Models
by: Calinescu, Radu, et al.
Published: (2025)

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach
by: Proma, Nawshin Mannan, et al.
Published: (2025)

Maintaining driver attentiveness in shared-control autonomous driving
by: Calinescu, Radu, et al.
Published: (2021)

Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty
by: Betzer, Joakim Schack, et al.
Published: (2024)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

Development of a Compliant Gripper for Safe Robot-Assisted Trouser Dressing-Undressing
by: Unde, Jayant, et al.
Published: (2025)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Bimanual Robot-Assisted Dressing: A Spherical Coordinate-Based Strategy for Tight-Fitting Garments
by: Zhao, Jian, et al.
Published: (2025)

Force-Constrained Visual Policy: Safe Robot-Assisted Dressing via Multi-Modal Sensing
by: Sun, Zhanyi, et al.
Published: (2023)

Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
by: Vázquez, Gricel, et al.
Published: (2026)

Force-Modulated Visual Policy for Robot-Assisted Dressing with Arm Motions
by: Hao, Alexis Yihong, et al.
Published: (2025)

Case Study: Runtime Safety Verification of Neural Network Controlled System
by: Yang, Frank, et al.
Published: (2024)

Runtime Learning of Quadruped Robots in Wild Environments
by: Cai, Yihao, et al.
Published: (2025)

Stochastic Decision-Making Framework for Human-Robot Collaboration in Industrial Applications
by: Yusuf, Muhammad Adel, et al.
Published: (2026)

Robot Metacognition: Decision Making with Confidence for Tool Invention
by: Meera, Ajith Anil, et al.
Published: (2025)

The Dilemma of Decision-Making in the Real World: When Robots Struggle to Make Choices Due to Situational Constraints
by: Benali, Khairidine, et al.
Published: (2024)

Bipedalism for Quadrupedal Robots: Versatile Loco-Manipulation through Risk-Adaptive Reinforcement Learning
by: Zhang, Yuyou, et al.
Published: (2025)

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
by: Gleirscher, Mario, et al.
Published: (2021)

Optimal Robotic Assembly Sequence Planning: A Sequential Decision-Making Approach
by: Nagpal, Kartik, et al.
Published: (2023)

Benchmarking LLM Privacy Recognition for Social Robot Decision Making
by: Sullivan, Dakota, et al.
Published: (2025)

The Importance of Adaptive Decision-Making for Autonomous Long-Range Planetary Surface Mobility
by: Lamarre, Olivier, et al.
Published: (2024)

Toward Deployable Multi-Robot Collaboration via a Symbolically-Guided Decision Transformer
by: Rasanji, Rathnam Vidushika, et al.
Published: (2025)

Optimization of Collective Bayesian Decision-Making in a Swarm of Miniaturized Vibration-Sensing Robots
by: Siemensma, Thiemen, et al.
Published: (2024)

Causality-enhanced Decision-Making for Autonomous Mobile Robots in Dynamic Environments
by: Castri, Luca, et al.
Published: (2025)

Competition-Aware Decision-Making Approach for Mobile Robots in Racing Scenarios
by: Ji, Kyoungtae, et al.
Published: (2024)

On-Device Robotic Planning: Eliminating Inference Redundancy for Efficient Decision-Making
by: Lee, Joonhee, et al.
Published: (2026)

ThermoAct:Thermal-Aware Vision-Language-Action Models for Robotic Perception and Decision-Making
by: Son, Young-Chae, et al.
Published: (2026)

Do You Need a Hand? -- a Bimanual Robotic Dressing Assistance Scheme
by: Zhu, Jihong, et al.
Published: (2023)

Decision-Making-Based Path Planning for Autonomous UAVs: A Survey
by: Vivaldini, Kelen C. Teixeira, et al.
Published: (2025)

Assist-As-Needed: Adaptive Multimodal Robotic Assistance for Medication Management in Dementia Care
by: Gangaraju, Kruthika, et al.
Published: (2025)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
by: Yamaguchi, Tomoya, et al.
Published: (2025)

Opinion-Driven Decision-Making for Multi-Robot Navigation through Narrow Corridors
by: Alghamdi, Norah K., et al.
Published: (2025)

Collective Bayesian Decision-Making in a Swarm of Miniaturized Robots for Surface Inspection
by: Siemensma, Thiemen, et al.
Published: (2024)

Relevance-driven Decision Making for Safer and More Efficient Human Robot Collaboration
by: Zhang, Xiaotong, et al.
Published: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Good Things Come in Trees: Emotion and Context Aware Behaviour Trees for Ethical Robotic Decision-Making
by: Tuttösí, Paige, et al.
Published: (2024)