Saved in:
| Main Authors: | Ghzouli, Razan, Wohlrab, Rebekka, Horkoff, Jennifer |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2503.16969 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Using Behavior Trees in Risk Assessment
by: Ghzouli, Razan, et al.
Published: (2025)
by: Ghzouli, Razan, et al.
Published: (2025)
Behavior Trees and State Machines in Robotics Applications
by: Ghzouli, Razan, et al.
Published: (2022)
by: Ghzouli, Razan, et al.
Published: (2022)
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
by: Mallozzi, Piergiuseppe, et al.
Published: (2023)
by: Mallozzi, Piergiuseppe, et al.
Published: (2023)
Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026)
by: Filippone, Gianluca, et al.
Published: (2026)
From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
by: Peng, Yi, et al.
Published: (2025)
by: Peng, Yi, et al.
Published: (2025)
RE for AI in Practice: Managing Data Annotation Requirements for AI Autonomous Driving Systems
by: Saeeda, Hina, et al.
Published: (2025)
by: Saeeda, Hina, et al.
Published: (2025)
Towards A Catalogue of Requirement Patterns for Space Robotic Missions
by: Etumi, Mahdi, et al.
Published: (2025)
by: Etumi, Mahdi, et al.
Published: (2025)
Reusability and Modifiability in Robotics Software (Extended Version)
by: Pomponio, Laura, et al.
Published: (2024)
by: Pomponio, Laura, et al.
Published: (2024)
Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
by: de Leoni, Massimiliano, et al.
Published: (2025)
by: de Leoni, Massimiliano, et al.
Published: (2025)
Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots
by: Valle, Pablo, et al.
Published: (2025)
by: Valle, Pablo, et al.
Published: (2025)
Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software
by: Chur, Nils, et al.
Published: (2026)
by: Chur, Nils, et al.
Published: (2026)
Requirement Identification for Traffic Simulations in Driving Simulators
by: Tarlowski, Sven, et al.
Published: (2025)
by: Tarlowski, Sven, et al.
Published: (2025)
Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical Systems
by: Pfister, Zoe, et al.
Published: (2025)
by: Pfister, Zoe, et al.
Published: (2025)
A Data Annotation Requirements Representation and Specification (DARS)
by: Peng, Yi, et al.
Published: (2025)
by: Peng, Yi, et al.
Published: (2025)
Software Reconfiguration in Robotics
by: Peldszus, Sven, et al.
Published: (2023)
by: Peldszus, Sven, et al.
Published: (2023)
Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
by: Goues, Claire Le, et al.
Published: (2024)
by: Goues, Claire Le, et al.
Published: (2024)
ROBUST: 221 Bugs in the Robot Operating System
by: Timperley, Christopher S., et al.
Published: (2024)
by: Timperley, Christopher S., et al.
Published: (2024)
Pixi: Unified Software Development and Distribution for Robotics and AI
by: Fischer, Tobias, et al.
Published: (2025)
by: Fischer, Tobias, et al.
Published: (2025)
Metamorphic Testing of Vision-Language Action-Enabled Robots
by: Valle, Pablo, et al.
Published: (2026)
by: Valle, Pablo, et al.
Published: (2026)
Before Autonomy Takes Control: Software Testing in Robotics
by: Chur, Nils, et al.
Published: (2026)
by: Chur, Nils, et al.
Published: (2026)
Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles
by: Liu, Henry X., et al.
Published: (2025)
by: Liu, Henry X., et al.
Published: (2025)
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
by: Sartaj, Hassan, et al.
Published: (2025)
by: Sartaj, Hassan, et al.
Published: (2025)
Software Engineering for Self-Adaptive Robotics: A Research Agenda
by: Sartaj, Hassan, et al.
Published: (2025)
by: Sartaj, Hassan, et al.
Published: (2025)
Search-based Robustness Testing of Laptop Refurbishing Robotic Software
by: Isaku, Erblin, et al.
Published: (2026)
by: Isaku, Erblin, et al.
Published: (2026)
Enabling Generic Robot Skill Implementation Using Object Oriented Programming
by: Farrukh, Abdullah, et al.
Published: (2025)
by: Farrukh, Abdullah, et al.
Published: (2025)
Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
by: Wu, Jiahui, et al.
Published: (2025)
by: Wu, Jiahui, et al.
Published: (2025)
UAMTERS: Uncertainty-Aware Mutation Analysis for DL-enabled Robotic Software
by: Lu, Chengjie, et al.
Published: (2026)
by: Lu, Chengjie, et al.
Published: (2026)
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
by: Sartaj, Hassan, et al.
Published: (2026)
by: Sartaj, Hassan, et al.
Published: (2026)
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)
by: Caldas, Ricardo, et al.
Published: (2024)
Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
by: Yousaf, Muhammad, et al.
Published: (2026)
by: Yousaf, Muhammad, et al.
Published: (2026)
UniCon: A Unified System for Efficient Robot Learning Transfers
by: Lin, Yunfeng, et al.
Published: (2026)
by: Lin, Yunfeng, et al.
Published: (2026)
VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation
by: Wang, Zhijie, et al.
Published: (2024)
by: Wang, Zhijie, et al.
Published: (2024)
Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
by: Wu, Jiahui, et al.
Published: (2025)
by: Wu, Jiahui, et al.
Published: (2025)
Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
by: Khatiri, Sajad, et al.
Published: (2025)
by: Khatiri, Sajad, et al.
Published: (2025)
VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
by: Saurabh, Prasun, et al.
Published: (2026)
by: Saurabh, Prasun, et al.
Published: (2026)
A ROS2 Interface for Universal Robots Collaborative Manipulators Based on ur_rtde
by: Saccuti, Alessio, et al.
Published: (2025)
by: Saccuti, Alessio, et al.
Published: (2025)
DynNPC: Finding More Violations Induced by ADS in Simulation Testing through Dynamic NPC Behavior Generation
by: Lu, You, et al.
Published: (2024)
by: Lu, You, et al.
Published: (2024)
Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
by: Trinh, Hiep Hong, et al.
Published: (2025)
by: Trinh, Hiep Hong, et al.
Published: (2025)
ROS-related Robotic Systems Development with V-model-based Application of MeROS Metamodel
by: Winiarski, Tomasz, et al.
Published: (2025)
by: Winiarski, Tomasz, et al.
Published: (2025)
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
by: Zhou, Zhehua, et al.
Published: (2023)
by: Zhou, Zhehua, et al.
Published: (2023)
Similar Items
-
Using Behavior Trees in Risk Assessment
by: Ghzouli, Razan, et al.
Published: (2025) -
Behavior Trees and State Machines in Robotics Applications
by: Ghzouli, Razan, et al.
Published: (2022) -
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
by: Mallozzi, Piergiuseppe, et al.
Published: (2023) -
Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026) -
From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
by: Peng, Yi, et al.
Published: (2025)