Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Logic in Computer Science
2024-11-21 v1 Artificial Intelligence
Robotics
Abstract
This EPTCS volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), which was held between the 11th and 13th of November 2024. FMAS 2024 was co-located with 19th International Conference on integrated Formal Methods (iFM'24), hosted by the University of Manchester in the United Kingdom, in the University of Manchester's Core Technology Facility.
Keywords
Cite
@article{arxiv.2411.13215,
title = {Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems},
author = {Matt Luckcuck and Mengwei Xu},
journal= {arXiv preprint arXiv:2411.13215},
year = {2024}
}