University of California - Berkeley
Stanford University
BRIDGE: Blended Retention-Indexed Diverse Gain cEll
Carnegie Mellon University
Formal Verification of Distributed Aircraft Controllers