Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Saadat, Maryam Ghaffari, Ferrando, Angelo, Dennis, Louise A., Fisher, Michael
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Artificial Intelligence Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
von: Ferrando, Angelo
Veröffentlicht: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
von: Burgio, Paolo, et al.
Veröffentlicht: (2024)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
von: Caldas, Ricardo, et al.
Veröffentlicht: (2024)

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

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

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

AgentGuard: Runtime Verification of AI Agents
von: Koohestani, Roham
Veröffentlicht: (2025)

Varanus: Runtime Verification for CSP
von: Luckcuck, Matt, et al.
Veröffentlicht: (2025)

When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
von: Guo, An, et al.
Veröffentlicht: (2025)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
von: Benjumea, Diana C., et al.
Veröffentlicht: (2025)

Runtime Verification via Rational Monitor with Imperfect Information
von: Ferrando, Angelo, et al.
Veröffentlicht: (2024)

LMV-RPA: Large Model Voting-based Robotic Process Automation
von: Abdellatif, Osama, et al.
Veröffentlicht: (2024)

Agent-Arena: A General Framework for Evaluating Control Algorithms
von: Kadi, Halid Abdulrahim, et al.
Veröffentlicht: (2025)

ROSBag MCP Server: Analyzing Robot Data with LLMs for Agentic Embodied AI Applications
von: Fu, Lei, et al.
Veröffentlicht: (2025)

Modeling Resilience of Collaborative AI Systems
von: Rimawi, Diaeddin, et al.
Veröffentlicht: (2024)

Boundary State Generation for Testing and Improvement of Autonomous Driving Systems
von: Biagiola, Matteo, et al.
Veröffentlicht: (2023)

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
von: Zhang, Tian, et al.
Veröffentlicht: (2023)

Generating Critical Scenarios for Testing Automated Driving Systems
von: Nguyen, Trung-Hieu, et al.
Veröffentlicht: (2024)

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems
von: Cheng, Mingfei, et al.
Veröffentlicht: (2025)

Modeling and Simulation of a Multi Robot System Architecture
von: Sadik, Ahmed R., et al.
Veröffentlicht: (2024)

Multi-Robot System Architecture design in SysML and BPMN
von: Sadik, Ahmed R., et al.
Veröffentlicht: (2024)

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

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
von: Barhoumi, Oumaima, et al.
Veröffentlicht: (2026)

GAMMS: Graph based Adversarial Multiagent Modeling Simulator
von: Patil, Rohan, et al.
Veröffentlicht: (2026)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems
von: Gleirscher, Mario
Veröffentlicht: (2019)

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

Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs
von: Wang, Dingji, et al.
Veröffentlicht: (2025)

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

cuVSLAM: CUDA accelerated visual odometry and mapping
von: Korovko, Alexander, et al.
Veröffentlicht: (2025)

KEEP: A KV-Cache-Centric Memory Management System for Efficient Embodied Planning
von: Yang, Zebin, et al.
Veröffentlicht: (2026)

Simulator Ensembles for Trustworthy Autonomous Driving Testing
von: Sorokin, Lev, et al.
Veröffentlicht: (2025)

Automated System-level Testing of Unmanned Aerial Systems
von: Sartaj, Hassan, et al.
Veröffentlicht: (2024)

Pretrained Embeddings as a Behavior Specification Mechanism
von: Kapoor, Parv, et al.
Veröffentlicht: (2025)

Fast and Modular Autonomy Software for Autonomous Racing Vehicles
von: Saba, Andrew, et al.
Veröffentlicht: (2024)

Towards Continuous Assurance with Formal Verification and Assurance Cases
von: Abeywickrama, Dhaminda B., et al.
Veröffentlicht: (2025)

AUTOSAR AP and ROS 2 Collaboration Framework
von: Iwakami, Ryudai, et al.
Veröffentlicht: (2025)

RuntimeSlicer: Towards Generalizable Unified Runtime State Representation for Failure Management
von: Zhang, Lingzhe, et al.
Veröffentlicht: (2026)

RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?
von: Gatti, Andrea, et al.
Veröffentlicht: (2024)

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

A ROS2 Interface for Universal Robots Collaborative Manipulators Based on ur_rtde
von: Saccuti, Alessio, et al.
Veröffentlicht: (2025)