2 books • 1 series
Algorithms for Verifying Deep Neural Networks (Foundations and Trends (R) in Optimization)
Designing Robot Behavior in Human-Robot Interactions