Formal Methods for Autonomous Systems

Tichakorn Wongpiromsarn | Mahsa Ghasemi | Murat Cubuktepe | Georgios Bakirtzis | Steven Carr | Mustafa O. Karabag | Cyrus Neary | Parham Gohari | Ufuk Topcu

978-1-63828-272-3

99.00 USD