Doctoral Theses: Recent submissions

Now showing items 4-6 of 23305

    • Oddness under Discussion 

      Hénot-Mortier, Adèle (Massachusetts Institute of Technology, 2025-09)
      At a broad level, this dissertation's main claim is that many cases of pragmatic oddness do not stem from assertions alone, but rather from their interaction with the questions they implicitly evoke. Felicitous assertions, ...

    • Illumination-Robust Terrain Relative Navigation for Planetary Descent 

      Mitchell, Adriana Macieira (Massachusetts Institute of Technology, 2025-09)
      Missions to explore planetary bodies (e.g., Moon, Mars, Titan, Europa, Enceladus) through surface exploration have been planned for the next decades. These missions depend on autonomous optical navigation capabilities for ...

    • Verification Planning for Efficient Uncertainty Reduction of Space Science Systems 

      Stenzel, June (Massachusetts Institute of Technology, 2025-09)
      Verification for a complex engineering system is essential for mitigating risks associated with quantitative uncertainty and ensuring confidence in the system’s performance. Verification planning is the problem of deciding ...