Buchumschlag

Revisiting Formal Methods for Autonomous Robots: A Structured Survey

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Azaiez, Atef, Anisi, David A., Farrell, Marie, Luckcuck, Matt
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Survey of Formal Methods for Autonomous Robots - List of Identified Tools
von: Azaiez, Atef, et al.
Veröffentlicht: (2026)

Verified Design of Robotic Autonomous Systems using Probabilistic Model Checking
von: Azaiez, Atef, et al.
Veröffentlicht: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
von: Luckcuck, Matt, et al.
Veröffentlicht: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
von: Luckcuck, Matt, et al.
Veröffentlicht: (2025)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
von: Adam, Mustafa, 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)

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

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
von: Farrell, Marie, et al.
Veröffentlicht: (2021)

Unifying F1TENTH Autonomous Racing: Survey, Methods and Benchmarks
von: Evans, Benjamin David, et al.
Veröffentlicht: (2024)

Cross--layer Formal Verification of Robotic Systems
von: Raïs, Sylvain, et al.
Veröffentlicht: (2024)

Continuous-Time State Estimation Methods in Robotics: A Survey
von: Talbot, William, et al.
Veröffentlicht: (2024)

Model Checking and Verification of Synchronisation Properties of Cobot Welding
von: Murray, Yvonne, et al.
Veröffentlicht: (2024)

Revisiting Adversarial Perception Attacks and Defense Methods on Autonomous Driving Systems
von: Chen, Cheng, et al.
Veröffentlicht: (2025)

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

Adventures in FRET and Specification
von: Farrell, Marie, et al.
Veröffentlicht: (2025)

FLEET: Formal Language-Grounded Scheduling for Heterogeneous Robot Teams
von: Rivera, Corban, et al.
Veröffentlicht: (2025)

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

Autonomous Drone Racing: A Survey
von: Hanover, Drew, et al.
Veröffentlicht: (2023)

Online Structure Learning and Planning for Autonomous Robot Navigation using Active Inference
von: de tinguy, Daria, et al.
Veröffentlicht: (2025)

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

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

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

Generating Explanations for Autonomous Robots: a Systematic Review
von: Sobrín-Hidalgo, David, et al.
Veröffentlicht: (2024)

WetExplorer: Automating Wetland Greenhouse-Gas Surveys with an Autonomous Mobile Robot
von: Vasquez, Jose, et al.
Veröffentlicht: (2025)

Force-Aware Autonomous Robotic Surgery
von: Abdelaal, Alaa Eldin, et al.
Veröffentlicht: (2025)

Towards A Catalogue of Requirement Patterns for Space Robotic Missions
von: Etumi, Mahdi, et al.
Veröffentlicht: (2025)

Autonomous Dissection in Robotic Cholecystectomy
von: Oh, Ki-Hwan, et al.
Veröffentlicht: (2025)

Anomaly Detection in Autonomous Driving: A Survey
von: Bogdoll, Daniel, et al.
Veröffentlicht: (2022)

Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
von: Warutumo, David, et al.
Veröffentlicht: (2025)

World Models for Robotic Manipulation: A Survey
von: Wang, Fangyuan, et al.
Veröffentlicht: (2026)

A Novel Methodology for Autonomous Planetary Exploration Using Multi-Robot Teams
von: Swinton, Sarah, et al.
Veröffentlicht: (2024)

Distributed Optimization Methods for Multi-Robot Systems: Part II -- A Survey
von: Shorinwa, Ola, et al.
Veröffentlicht: (2023)

Collaborative Continuum Robots: A Survey
von: Li, Xinyu, et al.
Veröffentlicht: (2025)

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

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
von: Filippone, Gianluca, et al.
Veröffentlicht: (2026)

Autonomous Human-Robot Interaction via Operator Imitation
von: Christen, Sammy, et al.
Veröffentlicht: (2025)

A Survey on Soft Robot Adaptability: Implementations, Applications, and Prospects
von: Chen, Zixi, et al.
Veröffentlicht: (2025)

STR Robot: Design of an Autonomous Mobile Robot from Simulation to Reality
von: Nguyen, Vinh, et al.
Veröffentlicht: (2026)

Learning to Build: Autonomous Robotic Assembly of Stable Structures Without Predefined Plans
von: Wang, Jingwen, et al.
Veröffentlicht: (2026)

VAULT: A Mobile Mapping System for ROS 2-based Autonomous Robots
von: González-Santamarta, Miguel Á., et al.
Veröffentlicht: (2025)