Person. Aurora Schmidt

Johns Hopkins University Applied Physics Laboratory · 0000-0001-9027-8484
PhDCarnegie Mellon University
Master’sMassachusetts Institute of Technology
UndergraduateMassachusetts Institute of Technology

Papers

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system jeannin-2016-aSTTT · 2016
DOI

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System jeannin-2015-aTACAS · 2015
DOI · pldb
auroraschmidt person entries/rolodex/auroraschmidt.hel