Formal Methods for Autonomous Systems
de Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr
Ediciones (1)
- Formal Methods for Autonomous Systems (2023)
Now Publishers · inglés · ISBN 9781638282723
de Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr
Now Publishers · inglés · ISBN 9781638282723