Cover Image

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Saadat, Maryam Ghaffari, Ferrando, Angelo, Dennis, Louise A., Fisher, Michael
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
by: Ferrando, Angelo
Published: (2025)

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

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

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System
by: Aslam, Iqra, et al.
Published: (2024)

aerial-autonomy-stack -- a Faster-than-real-time, Autopilot-agnostic, ROS2 Framework to Simulate and Deploy Perception-based Drones
by: Panerati, Jacopo, et al.
Published: (2026)

Towards LLM-Assisted Architecture Recovery for Real-World ROS~2 Systems: An Agent-Based Multi-Level Approach to Hierarchical Structural Architecture Reconstruction
by: Briechle, Dominique, et al.
Published: (2026)

AgentGuard: Runtime Verification of AI Agents
by: Koohestani, Roham
Published: (2025)

Varanus: Runtime Verification for CSP
by: Luckcuck, Matt, et al.
Published: (2025)

When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
by: Guo, An, et al.
Published: (2025)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
by: Benjumea, Diana C., et al.
Published: (2025)

Runtime Verification via Rational Monitor with Imperfect Information
by: Ferrando, Angelo, et al.
Published: (2024)

LMV-RPA: Large Model Voting-based Robotic Process Automation
by: Abdellatif, Osama, et al.
Published: (2024)

Agent-Arena: A General Framework for Evaluating Control Algorithms
by: Kadi, Halid Abdulrahim, et al.
Published: (2025)

ROSBag MCP Server: Analyzing Robot Data with LLMs for Agentic Embodied AI Applications
by: Fu, Lei, et al.
Published: (2025)

Modeling Resilience of Collaborative AI Systems
by: Rimawi, Diaeddin, et al.
Published: (2024)

Boundary State Generation for Testing and Improvement of Autonomous Driving Systems
by: Biagiola, Matteo, et al.
Published: (2023)

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
by: Zhang, Tian, et al.
Published: (2023)

Generating Critical Scenarios for Testing Automated Driving Systems
by: Nguyen, Trung-Hieu, et al.
Published: (2024)

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems
by: Cheng, Mingfei, et al.
Published: (2025)

Modeling and Simulation of a Multi Robot System Architecture
by: Sadik, Ahmed R., et al.
Published: (2024)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
by: Isaku, Erblin, et al.
Published: (2025)

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
by: Barhoumi, Oumaima, et al.
Published: (2026)

GAMMS: Graph based Adversarial Multiagent Modeling Simulator
by: Patil, Rohan, et al.
Published: (2026)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems
by: Gleirscher, Mario
Published: (2019)

On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles
by: Zhao, Xingyu, et al.
Published: (2025)

Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs
by: Wang, Dingji, et al.
Published: (2025)

Capability-Driven Skill Generation with LLMs: A RAG-Based Approach for Reusing Existing Libraries and Interfaces
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

cuVSLAM: CUDA accelerated visual odometry and mapping
by: Korovko, Alexander, et al.
Published: (2025)

KEEP: A KV-Cache-Centric Memory Management System for Efficient Embodied Planning
by: Yang, Zebin, et al.
Published: (2026)

Simulator Ensembles for Trustworthy Autonomous Driving Testing
by: Sorokin, Lev, et al.
Published: (2025)

Automated System-level Testing of Unmanned Aerial Systems
by: Sartaj, Hassan, et al.
Published: (2024)

Pretrained Embeddings as a Behavior Specification Mechanism
by: Kapoor, Parv, et al.
Published: (2025)

Fast and Modular Autonomy Software for Autonomous Racing Vehicles
by: Saba, Andrew, et al.
Published: (2024)

Towards Continuous Assurance with Formal Verification and Assurance Cases
by: Abeywickrama, Dhaminda B., et al.
Published: (2025)

AUTOSAR AP and ROS 2 Collaboration Framework
by: Iwakami, Ryudai, et al.
Published: (2025)

RuntimeSlicer: Towards Generalizable Unified Runtime State Representation for Failure Management
by: Zhang, Lingzhe, et al.
Published: (2026)

RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?
by: Gatti, Andrea, et al.
Published: (2024)

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

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