Design of Large-Scale Complex Engineered Systems: Present Challenges and Future Promise
Validation and Verification (V&V) of Safety-Critical Systems Operating Under Off-Nominal Conditions
Machine Learning for Slow but Steady Interplanetary Construction