Cover Image

Verified Design of Robotic Autonomous Systems using Probabilistic Model Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Azaiez, Atef, Anisi, David Alireza
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Revisiting Formal Methods for Autonomous Robots: A Structured Survey
by: Azaiez, Atef, et al.
Published: (2025)

A Survey of Formal Methods for Autonomous Robots - List of Identified Tools
by: Azaiez, Atef, et al.
Published: (2026)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
by: Adam, Mustafa, et al.
Published: (2025)

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

Foundation Models for Autonomous Robots in Unstructured Environments
by: Naderi, Hossein, et al.
Published: (2024)

3P-LLM: Probabilistic Path Planning using Large Language Model for Autonomous Robot Navigation
by: Latif, Ehsan
Published: (2024)

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

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

Autonomous Forest Inventory with Legged Robots: System Design and Field Deployment
by: Mattamala, Matías, et al.
Published: (2024)

Autonomous Multiple-Trolley Collection System with Nonholonomic Robots: Design, Control, and Implementation
by: Xie, Peijia, et al.
Published: (2024)

Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
by: Warutumo, David, et al.
Published: (2025)

STR Robot: Design of an Autonomous Mobile Robot from Simulation to Reality
by: Nguyen, Vinh, et al.
Published: (2026)

Developing Neural Network-Based Gaze Control Systems for Social Robots
by: Tabatabaei, Ramtin, et al.
Published: (2026)

ARChemist: Autonomous Robotic Chemistry System Architecture
by: Fakhruldeen, Hatem, et al.
Published: (2022)

Autonomous Construction-Site Safety Inspection Using Mobile Robots: A Multilayer VLM-LLM Pipeline
by: Naderi, Hossein, et al.
Published: (2025)

Embodied Hazard Mitigation using Vision-Language Models for Autonomous Mobile Robots
by: Sotomi, Oluwadamilola, et al.
Published: (2025)

Frequency Response Data-Driven Disturbance Observer Design for Flexible Joint Robots
by: Lee, Deokjin, et al.
Published: (2025)

Verifiably Following Complex Robot Instructions with Foundation Models
by: Quartey, Benedict, et al.
Published: (2024)

Underwater Robotic Simulators Review for Autonomous System Development
by: Aldhaheri, Sara, et al.
Published: (2025)

Behavioral Cloning Models Reality Check for Autonomous Driving
by: Yildirim, Mustafa, et al.
Published: (2024)

RoVer: Robot Reward Model as Test-Time Verifier for Vision-Language-Action Model
by: Dai, Mingtong, et al.
Published: (2025)

Exploring Probabilistic Distance Fields in Robotics
by: Wu, Lan
Published: (2024)

Autonomous Robotic System with Optical Coherence Tomography Guidance for Vascular Anastomosis
by: Haworth, Jesse, et al.
Published: (2024)

Development of an Autonomous Mobile Robotic System for Efficient and Precise Disinfection
by: Ou, Ting-Wei, et al.
Published: (2025)

Reduced-Order Model-Based Gait Generation for Snake Robot Locomotion using NMPC
by: Salagame, Adarsh, et al.
Published: (2025)

RobotDesignGPT: Automated Robot Design Synthesis using Vision Language Models
by: Sontakke, Nitish, et al.
Published: (2026)

Toward Safe Autonomous Robotic Endovascular Interventions using World Models
by: Robertshaw, Harry, et al.
Published: (2026)

CRAFT: Coaching Reinforcement Learning Autonomously using Foundation Models for Multi-Robot Coordination Tasks
by: Choi, Seoyeon, et al.
Published: (2025)

SwarmPRM: Probabilistic Roadmap Motion Planning for Large-Scale Swarm Robotic Systems
by: Hu, Yunze, et al.
Published: (2024)

GoalVLM: VLM-driven Object Goal Navigation for Multi-Agent System
by: James, MoniJesu, et al.
Published: (2026)

Bayesian Optimization Framework for Efficient Fleet Design in Autonomous Multi-Robot Exploration
by: Concha, David Molina, et al.
Published: (2024)

Robot Detection System 2: Design of Sensor System
by: Lin, Jinwei
Published: (2024)

Preliminary Evaluation of an Ultrasound-Guided Robotic System for Autonomous Percutaneous Intervention
by: Mohan, Pratima, et al.
Published: (2024)

A Bayesian Reasoning Framework for Robotic Systems in Autonomous Casualty Triage
by: Rusiecki, Szymon, et al.
Published: (2026)

Modularis: Modular Underwater Robot for Rapid Development and Validation of Autonomous Systems
by: Herrin, Baker, et al.
Published: (2024)

Autonomous Integration and Improvement of Robotic Assembly using Skill Graph Representations
by: Yu, Peiqi, et al.
Published: (2026)

Generating Explanations for Autonomous Robots: a Systematic Review
by: Sobrín-Hidalgo, David, et al.
Published: (2024)

In the Arms of a Robot: Designing Autonomous Hugging Robots with Intra-Hug Gestures
by: Block, Alexis E., et al.
Published: (2022)

Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs
by: Kohaut, Simon, et al.
Published: (2024)

From CAD to POMDP: Probabilistic Planning for Robotic Disassembly of End-of-Life Products
by: Baumgärtner, Jan, et al.
Published: (2025)