Home › Authors › Georgios Bakirtzis 👤 Georgios Bakirtzis 1 book Books by Georgios Bakirtzis Formal Methods for Autonomous Formal Methods for Autonomous Systems 2023