Kristina Miller

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Logical Framework

Controller Synthesis

Close Proximity

Reinforcement Learning

Top Venues

Publications

Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
Optimal Runtime Assurance via Reinforcement Learning. ICCPS (2024)
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
RTAEval: A framework for evaluating runtime assurance logic. CoRR (2023)
Christopher W. Hays, Kristina Miller, Alexander A. Soderlund, Sean Phillips, Troy Henderson
Autonomous Local Catalog Maintenance of Close Proximity Satellite Systems on Closed Natural Motion Trajectories. CoRR (2023)
Kristina Miller, John Matthew Brewer, Alexander A. Soderlund, Sean Phillips
Sensor Safety and Multi-Objective Satellite Control under Nonlinear Dynamics. ACC (2023)
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. CoRR (2023)
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA (2023)
Kristina Miller, Sayan Mitra
Multi-agent motion planning using differential games with lexicographic preferences. CDC (2022)
Kristina Miller, Chuchu Fan, Sayan Mitra
Planning in Dynamic and Partially Unknown Environments. ADHS (2021)
Chuchu Fan, Kristina Miller, Sayan Mitra
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) (2020)