Cover Image

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mallozzi, Piergiuseppe, Nuzzo, Pierluigi, Piterman, Nir, Schneider, Gerardo, Pelliccione, Patrizio
Format:	Preprint
Published:	2023
Subjects:	Software Engineering Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Software Reconfiguration in Robotics
by: Peldszus, Sven, et al.
Published: (2023)

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

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

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

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

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

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

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

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

Search-based Trace Diagnostic
by: Araujo, Gabriel, et al.
Published: (2024)

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
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)

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

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

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
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)

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

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

Using Behavior Trees in Risk Assessment
by: Ghzouli, Razan, et al.
Published: (2025)

Once Upon a Team: Investigating Bias in LLM-Driven Software Team Composition and Task Allocation
by: Parziale, Alessandra, et al.
Published: (2026)

CIAO - Code In Architecture Out - Automated Software Architecture Documentation with Large Language Models
by: De Luca, Marco, et al.
Published: (2026)

Towards A Catalogue of Requirement Patterns for Space Robotic Missions
by: Etumi, Mahdi, et al.
Published: (2025)

Engineering Digital Systems for Humanity: a Research Roadmap
by: Autili, Marco, et al.
Published: (2024)