Formal Methods for Autonomous Systems by Mahsa Ghasemi, Tichakorn Wongpiromsarn, Georgios Bakirtzis, Murat Cubuktepe, Steven Carr | Lex | Lex