Ricardo G. Sanfelice is an Associate Professor of Computer Engineering, University of California at Santa Cruz, CA, USA. He received his M.S. and Ph.D. degrees in 2004 and 2007, respectively, from the University of California, Santa Barbara. During 2007 and 2008, he was a Postdoctoral Associate at the Laboratory for Information and Decision Systems at the Massachusetts Institute of Technology and visited the Centre Automatique et Systemes at the Ecole de Mines de Paris for four months. Prof.

Sertac Karaman received his Ph.D. in Computer Science from Brown University in 1983 is the Charles Stark Draper Assistant Professor of Aeronautics and Astronautics at the Massachusetts Institute of Technology (since Fall 2012). He has obtained B.S. degrees in mechanical engineering and in computer engineering from the Istanbul Technical University, Turkey, in 2007, an S.M. degree in mechanical engineering from MIT in 2009, and a Ph.D. degree in electrical engineering and computer science also from MIT in 2012.

Dennice F. Gayme received a B. Eng & Society from McMaster University in 1997 and an M.S. from the University of California at Berkeley in 1998, both in Mechanical Engineering. In 2010, she received her Ph.D. in Control and Dynamical Systems from the California Institute of Technology, where she was a recipient of the P.E.O. scholar award in 2007 and the James Irvine Foundation Graduate Fellowship in 2003.

Jana Doppa is an Assistant Professor of Computer Science at Washington State University, Pullman. He earned his PhD working with the Artificial Intelligence group at Oregon State University (2014); and his MTech from Indian Institute of Technology (IIT), Kanpur, India (2006). His general research interests are in the broad field of Artificial Intelligence (AI) and its applications including planning, natural language processing, and computer vision.

Aranya Chakrabortty is an Associate Professor in the Electrical & Computer Engineering department of North Carolina State University, Raleigh, NC. He received his Ph.D degree from Rensselaer Polytechnic Institute, Troy, NY in 2008 in Electrical Engineering. From 2008 to 2009 he was a post-doctoral research associate at University of Washington, Seattle. His research interests are in all branches of control theory, and their applications to power system dynamics and control using emerging technologies such as Wide-Area Measurement Systems (WAMS). Dr.

The current lack of toolchain for high confidence testing, validation and verification of advanced, connected and automated/autonomous vehicles can impede and even entirely prevent the introduction of such vehicles into mass production. To address this challenge, this projects develops theory, methods, and tools for generating and optimizing test trajectories and data inputs that can maximize opportunities to uncover faults in both physical and cyber domains in future automotive vehicles.