Formal Methods for Autonomous Systems | Publicación