280 citations · 450 across the 27 of their papers we have counts for
1 paper · 1 filter
Matt Luckcuck, Mengwei Xu
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 Novemb…