Search Results for author:
Found 4 papers, 0 papers with code
STL: Surprisingly Tricky Logic (for System Validation)
The ground-truth validity of a specification, subjects' familiarity with formal methods, and subjects' level of education were found to be significant factors in determining validation correctness.
Maneuver Identification Challenge
The Maneuver Identification Challenge hosted at maneuver-id. mit. edu provides thousands of trajectories collected from pilots practicing in flight simulators, descriptions of maneuvers, and examples of these maneuvers performed by experienced pilots.
Evaluation of Human-AI Teams for Learned and Rule-Based Agents in Hanabi
In addition to the game score, used as an objective metric of the human-AI team performance, we also quantify subjective measures of the human's perceived performance, teamwork, interpretability, trust, and overall preference of AI teammate.
Genetic Algorithms for Starshade Retargeting in Space-Based Telescopes
Future space-based telescopes will leverage starshades as components that can be independently positioned.
