Formal Methods for Autonomous Systems
by Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr
Writing a summary for young readers…
For young readers
Book data: Open Library
by Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr
Book data: Open Library