A Survey of Formal Methods for Autonomous Robots - List of Identified Tools

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
DOI: 10.5281/zenodo.18445327
Cited by: 0

Abstract

Table of identified tools in the surveyed collection and their recorded uses.

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems AI-based Problem Solving and Planning

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
31 January 2026