Abstract

This EPTCS volume contains the papers from the Sixth International Workshopon Formal Methods for Autonomous Systems (FMAS 2024), which was held betweenthe 11th and 13th of November 2024. FMAS 2024 was co-located with 19thInternational Conference on integrated Formal Methods (iFM'24), hosted by theUniversity of Manchester in the United Kingdom, in the University ofManchester's Core Technology Facility.

 

Quick Read (beta)