Home › Authors › Murat Cubuktepe 👤 Murat Cubuktepe 1 book Books by Murat Cubuktepe Formal Methods for Autonomous Formal Methods for Autonomous Systems 2023