Cover Image

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Adam, Mustafa, Anisi, David A., Ribeiro, Pedro
Format:	Preprint
Published:	2025
Subjects:	Robotics Formal Languages and Automata Theory Software Engineering Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
by: Adam, Mustafa, et al.
Published: (2025)

Safe Networked Robotics with Probabilistic Verification
by: Narasimhan, Sai Shankar, et al.
Published: (2023)

Formal Evidence Generation for Assurance Cases for Robotic Software Models
by: Yan, Fang, et al.
Published: (2026)

Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
by: Hendriks, Dennis, et al.
Published: (2025)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
by: Lin, Yuanfei, et al.
Published: (2023)

Temporal Logic Guided Safe Navigation for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
by: Hong, Chih-Duo, et al.
Published: (2025)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
by: Qi, Shuhao, et al.
Published: (2024)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
by: Ndadji, Milliam Maxime Zekeng, et al.
Published: (2020)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
by: Basile, Davide
Published: (2025)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
by: Liu, Wenliang, et al.
Published: (2025)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
by: Yang, Chenyuan, et al.
Published: (2025)

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
by: Graebener, Josefine B., et al.
Published: (2024)

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

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
by: Chu, Simon, et al.
Published: (2024)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
by: Faitelson, David, et al.
Published: (2025)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
by: Zameni, Tannaz, et al.
Published: (2026)

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots
by: Rosa, Marcelo, et al.
Published: (2025)

Configuration Monitor Synthesis
by: Köhl, Maximilian A., et al.
Published: (2024)

A Note on Runtime Verification of Concurrent Systems
by: Leucker, Martin
Published: (2025)

Automata Learning -- Expect Delays!
by: Dengler, Gabriel, et al.
Published: (2025)

Complete FSM Testing Using Strong Separability
by: Hierons, Robert M., et al.
Published: (2025)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
by: Abreu, Francisco, et al.
Published: (2025)

Contract Based Program Models for Software Model Checking
by: Amilon, Jesper, et al.
Published: (2025)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
by: Zheng, Xinyi, et al.
Published: (2025)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
by: Eldin, Ali Nour, et al.
Published: (2025)

Once and for all: how to compose modules -- The composition calculus
by: Fettke, Peter, et al.
Published: (2024)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
by: Fang, Yue, et al.
Published: (2026)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
by: van Spaendonck, P. H. M.
Published: (2024)

Twinning automata and regular expressions for string static analysis
by: Negrini, Luca, et al.
Published: (2020)

iCPS-DL: A Description Language for Autonomic Industrial Cyber-Physical Systems
by: Kouzapas, Dimitrios, et al.
Published: (2024)

INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations
by: Meng, Qian, et al.
Published: (2025)

Autonomous Task Planning for Heterogeneous Multi-Agent Systems
by: Tziola, Anatoli A., et al.
Published: (2022)

Formally Verifying Noir Zero Knowledge Programs with NAVe
by: Antonino, Pedro, et al.
Published: (2026)

A SCADE Model Verification Method Based on B-Model Transformation
by: Hou, Xili, et al.
Published: (2025)

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

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints
by: Kato, Yoshio, et al.
Published: (2026)