Autonomy, software verification, control, and cyber-physical systems presented by Professor Scott Smolka

This seminar will feature Dr. Scott Smolka, Department of Computer Science, who will focus on autonomy, software verification, control, andcyber-physical systems, taking into account trusted autonomy, as would beapplied to distributed autonomy, such as drone swarms and ground rovers.