Kristina Miller

11 papers B 1C 2Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2024 C conf
Guaranteed Safe Satellite Guidance and Navigation Using Reachability Based Switching Controllers.
ACC
Kristina Miller, Sean Phillips, Sayan Mitra
2024 — conf
Optimal Runtime Assurance via Reinforcement Learning.
ICCPS
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
2024 J jnl
Optimizing Rewards while meeting $\omega$-regular Constraints.
RLJ
Christopher K. Zeitler, Kristina Miller, Sayan Mitra, John Schierman, Mahesh Viswanathan
2023 J jnl
Autonomous Local Catalog Maintenance of Close Proximity Satellite Systems on Closed Natural Motion Trajectories.
CoRR
Christopher W. Hays, Kristina Miller, Alexander A. Soderlund, Sean Phillips, Troy Henderson
2023 B conf
RTAEval: A Framework for Evaluating Runtime Assurance Logic.
ATVA
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
2023 J jnl
RTAEval: A framework for evaluating runtime assurance logic.
CoRR
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
2023 J jnl
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning.
CoRR
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan
2023 C conf
Sensor Safety and Multi-Objective Satellite Control under Nonlinear Dynamics.
ACC
Kristina Miller, John Matthew Brewer, Alexander A. Soderlund, Sean Phillips
2022 — conf
Multi-agent motion planning using differential games with lexicographic preferences.
CDC
Kristina Miller, Sayan Mitra
2021 — conf
Planning in Dynamic and Partially Unknown Environments.
ADHS
Kristina Miller, Chuchu Fan, Sayan Mitra
2020 — conf
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models.
CAV (1)
Chuchu Fan, Kristina Miller, Sayan Mitra