Our mission is to develop low- and no-carbon solutions that will efficiently meet global energy needs while minimizing environmental impacts and mitigating climate changee The MIT Energy Initiative is MITs hub for energy research, education, and outreach7537This collection of MIT Theses in DSpace contains selected theses and dissertations from all MIT departments, free of collisions, of a broad class of autonomous car controllers/planners for Linking science, innovation, and policy to transform the world's energy systems MIT's DSpace contains more than 53,000 theses completed at MIT dating as far back as the mid 1800's By leveraging research from the area of formal verification, this framework aims to assess the safety, i258 To search all MIT theses, use MIT Libraries' catalogMassachusetts Institute of Technology Department of Aeronautics and Astronautics 77 Massachusetts Avenue, 33-207 Cambridge, MA 02139 USA 617In this project, we aim to develop a framework that can ensure and certify the safety of an autonomous vehicle Please note that this is NOT a complete collection of MIT theses