:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Raïs, Sylvain, Brunel, Julien, Doose, David, Herbreteau, Frédéric
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2411.14373
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions
by: Manganaris, Anastasios, et al.
Published: (2026)

Mutation Testing for Industrial Robotic Systems
by: Santos, Marcela Gonçalves dos, et al.
Published: (2025)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
by: Huang, Wei, et al.
Published: (2020)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Structural Abstraction and Selective Refinement for Formal Verification
by: Luckeneder, Christoph, et al.
Published: (2025)

Image-driven Robot Drawing with Rapid Lognormal Movements
by: Berio, Daniel, et al.
Published: (2025)

Revisiting Formal Methods for Autonomous Robots: A Structured Survey
by: Azaiez, Atef, et al.
Published: (2025)

FLEET: Formal Language-Grounded Scheduling for Heterogeneous Robot Teams
by: Rivera, Corban, et al.
Published: (2025)

Human-Robot Collaboration System Setup for Weed Harvesting Scenarios in Aquatic Lakes
by: Elsayed, Ahmed H., et al.
Published: (2024)

Cosserat Rods for Modeling Tendon-Driven Robotic Catheter Systems
by: Villard, Pierre-Frédéric, et al.
Published: (2024)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
by: Adam, Mustafa, et al.
Published: (2025)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
by: Choton, Jahid Chowdhury, et al.
Published: (2024)

A Riemannian Take on Distance Fields and Geodesic Flows in Robotics
by: Li, Yiming, et al.
Published: (2024)

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

Smooth Path Planning Using a Gaussian Process Regression Map for Mobile Robot Navigation
by: Serdel, Quentin, et al.
Published: (2024)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
by: Päßler, Juliane, et al.
Published: (2023)

From Movement Primitives to Distance Fields to Dynamical Systems
by: Li, Yiming, et al.
Published: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
by: Burgio, Paolo, et al.
Published: (2024)

Monte Carlo Tree Search with Tensor Factorization for Robot Optimization
by: Xue, Teng, et al.
Published: (2025)

Human-Humanoid Robots Cross-Embodiment Behavior-Skill Transfer Using Decomposed Adversarial Learning from Demonstration
by: Liu, Junjia, et al.
Published: (2024)

Representing Robot Geometry as Distance Fields: Applications to Whole-body Manipulation
by: Li, Yiming, et al.
Published: (2023)

IDfRA: Self-Verification for Iterative Design in Robotic Assembly
by: Khendry, Nishka, et al.
Published: (2025)

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

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
by: Dong, Yi, et al.
Published: (2022)

Grand Challenges in the Verification of Autonomous Systems
by: Leahy, Kevin, et al.
Published: (2024)

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
by: Rafiq, Yasmin, et al.
Published: (2025)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026)

HATPIC: An Open-Source Single Axis Haptic Joystick for Robotic Development
by: Mellet, Julien, et al.
Published: (2025)

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

Safety-Constrained Reinforcement Learning with Post-Training Reachability Verification for Robot Navigation
by: He, Qisong, et al.
Published: (2026)

ROVER: Regulator-Driven Robust Temporal Verification of Black-Box Robot Policies
by: Sakano, Kristy, et al.
Published: (2025)

Distilling Contact Planning for Fast Trajectory Optimization in Robot Air Hockey
by: Jankowski, Julius, et al.
Published: (2024)

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
by: Abeywickrama, Dhaminda B., et al.
Published: (2025)

SARO: Space-Aware Robot System for Terrain Crossing via Vision-Language Model
by: Zhu, Shaoting, et al.
Published: (2024)

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
by: Tang, Chencheng, et al.
Published: (2024)

Safe Networked Robotics with Probabilistic Verification
by: Narasimhan, Sai Shankar, et al.
Published: (2023)

HuBE: Cross-Embodiment Human-like Behavior Execution for Humanoid Robots
by: Lyu, Shipeng, et al.
Published: (2025)

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

A Robotic Design Framework for Phase Verification of Overhead Power Transmission Lines
by: Zhunian Wang, et al.
Published: (2025)

Enhanced Multi-Robot SLAM System with Cross-Validation Matching and Exponential Threshold Keyframe Selection
by: He, Ang, et al.
Published: (2024)