Falsification-based Verification for Multi-Mode Spacecraft Attitude Control Systems. - John Matthew Brewer; Panagiotis Tsiotras; Kendra Lang; Sean Phillips (ACC, 2021)

Exposure-Based Multi-Agent Inspection of a Tumbling Target Using Deep Reinforcement Learning. - Joshua Aurand; Steven Cutlip; Henry Lei; Kendra Lang; Sean Phillips (CoRR, 2023)

Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions. - Matthew Abate; Mark Mote; Mehregan Dor; Corbin Klett; Sean Phillips; Kendra Lang; Panagiotis Tsiotras; Eric Feron; Samuel Coogan 001 (IEEE Trans. Control. Syst. Technol., 2024)