Cover Image

Structural Abstraction and Selective Refinement for Formal Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Luckeneder, Christoph, Hoch, Ralph, Kaindl, Hermann
Format:	Preprint
Published:	2025
Subjects:	Robotics Software Engineering
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)

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

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

Model Checking and Verification of Synchronisation Properties of Cobot Welding
by: Murray, Yvonne, et al.
Published: (2024)

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

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
by: Saadat, Maryam Ghaffari, et al.
Published: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

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

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

A Case Study on the Application of Digital Twins for Enhancing CPS Operations
by: Muntean, Irina, et al.
Published: (2025)

Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
by: Tian, Haoxiang, et al.
Published: (2025)

The DevSafeOps Dilemma: A Systematic Literature Review on Rapidity in Safe Autonomous Driving Development and Operation
by: Nouri, Ali, et al.
Published: (2025)

A Step-by-Step Guide to Creating a Robust Autonomous Drone Testing Pipeline
by: Jiang, Yupeng, et al.
Published: (2025)

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

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

Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
by: Bernal, Arturo Miguel Russell, et al.
Published: (2025)

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

Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles
by: Liu, Henry X., et al.
Published: (2025)

Requirement Identification for Traffic Simulations in Driving Simulators
by: Tarlowski, Sven, et al.
Published: (2025)

UGSim: Autonomous Buoyancy-Driven Underwater Glider Simulator with LQR Control Strategy and Recursive Guidance System
by: Xu, Zhizun, et al.
Published: (2025)

MARL-OT: Multi-Agent Reinforcement Learning Guided Online Fuzzing to Detect Safety Violation in Autonomous Driving Systems
by: Liang, Linfeng, et al.
Published: (2025)

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
by: Skoglund, Martin, et al.
Published: (2025)

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

A Multi-Modality Evaluation of the Reality Gap in Autonomous Driving Systems
by: Lambertenghi, Stefano Carlo, et al.
Published: (2025)

On-Demand Scenario Generation for Testing Automated Driving Systems
by: Yan, Songyang, et al.
Published: (2025)

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

AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles
by: Zhang, Tony, et al.
Published: (2025)

UniSTPA: A Safety Analysis Framework for End-to-End Autonomous Driving
by: Kou, Hongrui, et al.
Published: (2025)

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

A Comprehensive Study of Bug-Fix Patterns in Autonomous Driving Systems
by: Chen, Yuntianyi, et al.
Published: (2025)

Approaching Current Challenges in Developing a Software Stack for Fully Autonomous Driving
by: Sagmeister, Simon, et al.
Published: (2025)

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

Detecting Non-Optimal Decisions of Embodied Agents via Diversity-Guided Metamorphic Testing
by: Wu, Wenzhao, et al.
Published: (2025)

Automating Box Folding: Sequence Extraction and Ranking Methodologies
by: Preziosa, Giuseppe Fabio, et al.
Published: (2025)

A Data-Driven Method for INS/DVL Alignment
by: Damari, Guy, et al.
Published: (2025)

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

VP-AutoTest: A Virtual-Physical Fusion Autonomous Driving Testing Platform
by: Cui, Yiming, et al.
Published: (2025)

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)

LabUtopia: High-Fidelity Simulation and Hierarchical Benchmark for Scientific Embodied Agents
by: Li, Rui, et al.
Published: (2025)