Algorithms for Verifying Deep Neural Networks
6 authors - Paperback
£85.00
Changliu Liu is an assistant professor in the Robotics Institute at Carnegie Mellon University, where she leads the Intelligent Control Lab. She received her PhD degree from University of California at Berkeley in 2017. Her research interests include: robotics and human-robot interactions, control and motion planning, optimization and optimal control, multi-agent system and game theory, design and verification of safe intelligent systems. Te Tang received his PhD degree from University of California at Berkeley in 2018. He joined FANUC America Corporation in 2018, and he is currently a researcher at FANUC Advanced Research Laboratory. His research interests include robotics, learning from demonstration, computer vision and their industrial applications. Hsien-Chung Lin is a research engineer in FANUC Advanced Research Laboratory at FANUC America Corporation. Prior to joining FANUC, he received his Ph.D. degree from University of California at Berkeley in 2018. His research interests cover robotics, optimal control, human-robot interaction, learning from demonstration and motion planning. Masayoshi Tomizuka received his PhD degree from MIT in 1974. In 1974, he joined the Mechanical Engineering Department of the University of California, Berkeley, where he currently is Cheryl and John Neerhout, Jr., Distinguished Professor. His research interests are control theory and its applications to mechatronic systems such as robots. He is a Life Fellow of ASME and IEEE, and a Fellow of IFAC. He was awarded the Rufus Oldenburger Medal (2002) and the Richard Bellman Control Heritage Award (2018).