Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Registration
Program Agenda
Suggested Reading
Venue / Travel
Challenge Problems
Workshop Archives
Files
CPS-VO
»
Computational Cybersecurity in Compromised Environments (C3E)
» C3E 2020
C3E 2020
file
Programming with Proofs - C3E - Sep 11, 2020.pptx
Submitted by Katie Dey on Fri, 09/11/2020 - 1:02pm. Contributor:
Nikhil Swamy
C3E 2020
Slides
file
Human-Machine Teaming: Theme and Variations
Submitted by edavidb on Mon, 08/17/2020 - 1:56pm. Contributor:
David Burke
autonomy
cybernetics
HMT
human-machine teams
intelligence augmentation
C3E 2020
Slides
