Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. - Chuchu Fan; Kristina Miller; Sayan Mitra (CAV (1), 2020)

Planning in Dynamic and Partially Unknown Environments. - Kristina Miller; Chuchu Fan; Sayan Mitra (ADHS, 2021)

Multi-agent motion planning using differential games with lexicographic preferences. - Kristina Miller; Sayan Mitra (CDC, 2022)

Sensor Safety and Multi-Objective Satellite Control under Nonlinear Dynamics. - Kristina Miller; John Matthew Brewer; Alexander A. Soderlund; Sean Phillips (ACC, 2023)

RTAEval: A Framework for Evaluating Runtime Assurance Logic. - Kristina Miller; Christopher K. Zeitler; William Shen; Mahesh Viswanathan 001; Sayan Mitra (ATVA, 2023)

Autonomous Local Catalog Maintenance of Close Proximity Satellite Systems on Closed Natural Motion Trajectories. - Christopher W. Hays; Kristina Miller; Alexander A. Soderlund; Sean Phillips; Troy Henderson (CoRR, 2023)

Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. - Kristina Miller; Christopher K. Zeitler; William Shen; Kerianne Hobbs; Sayan Mitra; John Schierman; Mahesh Viswanathan 001 (CoRR, 2023)

Guaranteed Safe Satellite Guidance and Navigation Using Reachability Based Switching Controllers. - Kristina Miller; Sean Phillips; Sayan Mitra (ACC, 2024)

Optimal Runtime Assurance via Reinforcement Learning. - Kristina Miller; Christopher K. Zeitler; William Shen; Kerianne Hobbs; John Schierman; Mahesh Viswanathan 001; Sayan Mitra (ICCPS, 2024)

Optimizing Rewards while meeting $ omega$-regular Constraints. - Christopher K. Zeitler; Kristina Miller; Sayan Mitra; John Schierman; Mahesh Viswanathan 001 (RLJ, 2024)