Week
|
Topic, papers,
deliverables
|
Presenter
|
Reviewers
|
0.
Jan.
7
|
Org
meeting
|
Marsha
|
|
1.
Jan.
14
|
Introduction to
self-driving and safety
|
Marsha
|
|
2.
Jan.
21
|
Introduction to
machine learning and verification
|
Marsha (verification) and Polina (machine learning)
|
|
3.
Jan.
28
|
Introduction to
safety and certification
|
Marsha
|
|
4.
Feb.
4
|
List of
3-4 papers of interest due
Safety and
Certification of machine-learned systems
|
Rick
|
|
5.
Feb.
11
|
Verification for Machine Learning, Autonomy, and Neural Networks Survey
AI2: Safety and Robustness Certification of
Neural Networks with Abstract Interpretation
Deeptest:
Automated testing of deep-neural-network-driven autonomous cars.
|
Eric
Ali
Nils
|
Yasaman
Zi
Yi
Eric
Nick
Rifat
Ali
Hazem
Nils
Yilin
|
Feb. 18
|
Family
day, no class
|
|
|
6.
Feb.
25
|
Project
proposals due
Autonomous Vehicle Safety: An
Interdisciplinary Challenge
Software Engineering Challenges of Deep Learning
Why did my car just do that?
Explaining semi-autonomous driving actions to improve driver understanding,
trust, and performance
|
Yasaman
Yilin
Hazem
|
Tushar
Hazem
Yasaman
Zi
Yilin
Tushar
Rifat
Hazem
|
7.
Mar
4
|
Towards Cooperative Driving:
Involving the Driver in an Autonomous Vehicle’s Decision Making
Requirements and Architectures
for Secure Vehicles
Machine learning, social learning
and the governance of self-driving cars.
|
Tushar
Zi Yi
Rifat
|
Eric
Hazem
Tushar
Tushar
Yasaman
Zi Yi
Ali
Yilin
Rifat
|
8.
Mar
11
|
DeepXplore: Automated Whitebox
Testing of Deep Learning Systems
Efficient Neural Network
Robustness Certification with General Activation Functions
Deep neural networks are easily
fooled: High confidence predictions for unrecognizable images
|
Eric
Ali
Nils
|
Ali
Nils
Eric
Ali
Ali
Rifat
Nils
|
9.
Mar
18
|
Marsha is
away but Ramy and Rick are judging.
Problems of and principles for AI verification
(presented on April 18) Presentation
by Michael Wong
(new) Internet of Vehicles
|
Nick
Michael
Yasaman
|
Yilin
Zi
Eric
Yasaman
|
10. Mar 25
|
(presented on April 18) Can Autonomous Vehicles Be Safe and Trustworthy?
Effects of Appearance and Autonomy of Unmanned Driving Systems
(new) Semantic Adversarial Deep Learning
(new) Threat of Adversarial Attacks on Deep Learning in Computer Vision: A Survey
|
Yasaman
Yilin
Hazem
|
Rifat
Yasaman
Zi
Eric
Yilin
Ali
Yilin
Hazem
|
11. April 1
|
(new) DeepMutation: Mutation Testing of Deep Learning Systems
(new) DeepRoad: GAN-Based Metamorphic Testing and Input
Validation Framework for Autonomous Driving Systems
(new) Springrobot: A prototype autonomous vehicle and its algorithms for lane detection.
|
Tushar
Zi Yi
Rifat
|
Hazem
Yasaman
Tushar
Nils
Yilin
Nils
Zi Yi
Tushar
Eric
Yasaman
Rifat
|
April 22
|
Project
write-ups are due.
|
|
|
April 29
|
Project presentations, 1-5 p.m., BA1230. Agenda.
|
|
|