Work

Revisiting Formal Methods for Autonomous Robots: A Follow-Up Survey - Draft Not submitted

Year: 2025

Type: article

Abstract: Surveyed Literature Set in table format

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.15100774

Authors: Azaiez, Atef, Anisi, David A., Farrell, Marie, Luckcuck, Matt

Institutions: Norwegian University of Life Sciences, University of Agder, National University of Ireland, Maynooth, University of Manchester, University of Nottingham

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6930492319

FWCI: 0.48

Cites:

Cited by: 1

Related to: