:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Azaiez, Atef, Anisi, David A., Farrell, Marie, Luckcuck, Matt
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2509.20488
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Verified Design of Robotic Autonomous Systems using Probabilistic Model Checking
by: Azaiez, Atef, et al.
Published: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2025)

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

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

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
by: Farrell, Marie, et al.
Published: (2021)

Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions
by: Manganaris, Anastasios, et al.
Published: (2026)

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

Adventures in FRET and Specification
by: Farrell, Marie, et al.
Published: (2025)

Cross--layer Formal Verification of Robotic Systems
by: Raïs, Sylvain, et al.
Published: (2024)

Unifying F1TENTH Autonomous Racing: Survey, Methods and Benchmarks
by: Evans, Benjamin David, et al.
Published: (2024)

Revisiting Adversarial Perception Attacks and Defense Methods on Autonomous Driving Systems
by: Chen, Cheng, et al.
Published: (2025)

Continuous-Time State Estimation Methods in Robotics: A Survey
by: Talbot, William, et al.
Published: (2024)

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

Fast-Revisit Coverage Path Planning for Autonomous Mobile Patrol Robots Using Long-Range Sensor Information
by: Kachavarapu, Srinivas, et al.
Published: (2025)

FLEET: Formal Language-Grounded Scheduling for Heterogeneous Robot Teams
by: Rivera, Corban, et al.
Published: (2025)

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

Mapping at First Sense: A Lightweight Neural Network-Based Indoor Structures Prediction Method for Robot Autonomous Exploration
by: Gao, Haojia, et al.
Published: (2025)

Data-Dependent Hidden Markov Model with Off-Road State Determination and Real-Time Viterbi Algorithm for Lane Determination in Autonomous Vehicles
by: Stas, Mike, et al.
Published: (2025)

Autonomous Drone Racing: A Survey
by: Hanover, Drew, et al.
Published: (2023)

Security Considerations in AI-Robotics: A Survey of Current Methods, Challenges, and Opportunities
by: Neupane, Subash, et al.
Published: (2023)

WetExplorer: Automating Wetland Greenhouse-Gas Surveys with an Autonomous Mobile Robot
by: Vasquez, Jose, et al.
Published: (2025)

Online Structure Learning and Planning for Autonomous Robot Navigation using Active Inference
by: de tinguy, Daria, et al.
Published: (2025)

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

A Systematic Evaluation of Different Indoor Localization Methods in Robotic Autonomous Luggage Trolley Collection at Airports
by: Sun, Zhirui, et al.
Published: (2023)

Force-Aware Autonomous Robotic Surgery
by: Abdelaal, Alaa Eldin, et al.
Published: (2025)

Autonomous Dissection in Robotic Cholecystectomy
by: Oh, Ki-Hwan, et al.
Published: (2025)

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

Anomaly Detection in Autonomous Driving: A Survey
by: Bogdoll, Daniel, et al.
Published: (2022)

World Models for Robotic Manipulation: A Survey
by: Wang, Fangyuan, et al.
Published: (2026)

Distributed Optimization Methods for Multi-Robot Systems: Part II -- A Survey
by: Shorinwa, Ola, et al.
Published: (2023)

A Novel Methodology for Autonomous Planetary Exploration Using Multi-Robot Teams
by: Swinton, Sarah, et al.
Published: (2024)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026)

Autonomous Human-Robot Interaction via Operator Imitation
by: Christen, Sammy, et al.
Published: (2025)

Collaborative Continuum Robots: A Survey
by: Li, Xinyu, et al.
Published: (2025)

Learning to Build: Autonomous Robotic Assembly of Stable Structures Without Predefined Plans
by: Wang, Jingwen, et al.
Published: (2026)

Autonomous Generation of Sub-goals for Lifelong Learning in Robots
by: Hernández, Emanuel Fallas, et al.
Published: (2025)

A Survey on Soft Robot Adaptability: Implementations, Applications, and Prospects
by: Chen, Zixi, et al.
Published: (2025)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
by: Yin, Xiang, et al.
Published: (2024)