@phdthesis{liebenwein2018contracts,
  title={Contract-Based Safety Verification for Autonomous Driving},
  author={Liebenwein, Lucas},
  year={2018},
  school={Massachusetts Institute of Technology},
  type={S.M. Thesis}
}