Visible to the public Transportation Featured Projects (Right)

Managing Uncertainty in the Design of Safety-Critical Aviation Systems
Jason Rife (Tufts University) and
Peter Seiler (University of Minnesota)

Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop
Francesco Borrelli (UC Berkeley)

Safe Protocols in Cyber-Physical Systems
Nicholas Maxemchuk (Columbia University)