Copertina

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Filippone, Gianluca, Pettinari, Sara, Pelliccione, Patrizio
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
di: Mallozzi, Piergiuseppe, et al.
Pubblicazione: (2023)

Software Reconfiguration in Robotics
di: Peldszus, Sven, et al.
Pubblicazione: (2023)

The Runtime Dimension of Ethics in Self-Adaptive Systems
di: Autili, Marco, et al.
Pubblicazione: (2026)

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

Extending Behavior Trees for Robotic Missions with Quality Requirements
di: Ghzouli, Razan, et al.
Pubblicazione: (2025)

Runtime Enforcement for Operationalizing Ethics in Autonomous Systems
di: De Sanctis, Martina, et al.
Pubblicazione: (2026)

Engineering Digital Systems for Humanity: Challenges and Opportunities
di: De Sanctis, Martina, et al.
Pubblicazione: (2024)

An Adaptive Testing Approach Based on Field Data
di: Silva, Samira, et al.
Pubblicazione: (2025)

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

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

Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
di: Bora, Arunabh
Pubblicazione: (2024)

UAMTERS: Uncertainty-Aware Mutation Analysis for DL-enabled Robotic Software
di: Lu, Chengjie, et al.
Pubblicazione: (2026)

Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
di: Sartaj, Hassan, et al.
Pubblicazione: (2026)

TwinArch: A Digital Twin Reference Architecture
di: Somma, Alessandra, et al.
Pubblicazione: (2025)

STADA: Specification-based Testing for Autonomous Driving Agents
di: Saha, Joy, et al.
Pubblicazione: (2026)

Software Engineering for Self-Adaptive Robotics: A Research Agenda
di: Sartaj, Hassan, et al.
Pubblicazione: (2025)

Search-based Trace Diagnostic
di: Araujo, Gabriel, et al.
Pubblicazione: (2024)

Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
di: Goues, Claire Le, et al.
Pubblicazione: (2024)

UniCon: A Unified System for Efficient Robot Learning Transfers
di: Lin, Yunfeng, et al.
Pubblicazione: (2026)

VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
di: Saurabh, Prasun, et al.
Pubblicazione: (2026)

ROBUST: 221 Bugs in the Robot Operating System
di: Timperley, Christopher S., et al.
Pubblicazione: (2024)

Reusability and Modifiability in Robotics Software (Extended Version)
di: Pomponio, Laura, et al.
Pubblicazione: (2024)

A ROS2 Interface for Universal Robots Collaborative Manipulators Based on ur_rtde
di: Saccuti, Alessio, et al.
Pubblicazione: (2025)

Metamorphic Testing of Vision-Language Action-Enabled Robots
di: Valle, Pablo, et al.
Pubblicazione: (2026)

Before Autonomy Takes Control: Software Testing in Robotics
di: Chur, Nils, et al.
Pubblicazione: (2026)

Pixi: Unified Software Development and Distribution for Robotics and AI
di: Fischer, Tobias, et al.
Pubblicazione: (2025)

Search-based Robustness Testing of Laptop Refurbishing Robotic Software
di: Isaku, Erblin, et al.
Pubblicazione: (2026)

Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots
di: Valle, Pablo, et al.
Pubblicazione: (2025)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
di: Sartaj, Hassan, et al.
Pubblicazione: (2025)

Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
di: Yousaf, Muhammad, et al.
Pubblicazione: (2026)

Enabling Generic Robot Skill Implementation Using Object Oriented Programming
di: Farrukh, Abdullah, et al.
Pubblicazione: (2025)

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
di: Wu, Jiahui, et al.
Pubblicazione: (2025)

VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation
di: Wang, Zhijie, et al.
Pubblicazione: (2024)

Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software
di: Chur, Nils, et al.
Pubblicazione: (2026)

Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
di: Khatiri, Sajad, et al.
Pubblicazione: (2025)

Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
di: de Leoni, Massimiliano, et al.
Pubblicazione: (2025)

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
di: Trinh, Hiep Hong, et al.
Pubblicazione: (2025)

ROS-related Robotic Systems Development with V-model-based Application of MeROS Metamodel
di: Winiarski, Tomasz, et al.
Pubblicazione: (2025)

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
di: Zhou, Zhehua, et al.
Pubblicazione: (2023)

AWML: An Open-Source ML-based Robotics Perception Framework to Deploy for ROS-based Autonomous Driving Software
di: Tanaka, Satoshi, et al.
Pubblicazione: (2025)