Kristina Miller

According to our database, Kristina Miller authored at least 10 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Optimizing Rewards while meeting $\omega$-regular Constraints.

Christopher K. Zeitler, Kristina Miller, Sayan Mitra, John Schierman, Mahesh Viswanathan

RLJ, 2024

Optimal Runtime Assurance via Reinforcement Learning.

Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Guaranteed Safe Satellite Guidance and Navigation Using Reachability Based Switching Controllers.

Kristina Miller, Sean Phillips, Sayan Mitra

Proceedings of the American Control Conference, 2024

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

CoRR, 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

RTAEval: A Framework for Evaluating Runtime Assurance Logic.

Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra

Proceedings of the Automated Technology for Verification and Analysis, 2023

Sensor Safety and Multi-Objective Satellite Control under Nonlinear Dynamics.

Kristina Miller, John Matthew Brewer, Alexander A. Soderlund, Sean Phillips

Proceedings of the American Control Conference, 2023

2022

Multi-agent motion planning using differential games with lexicographic preferences.

Kristina Miller, Sayan Mitra

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Planning in Dynamic and Partially Unknown Environments.

Kristina Miller, Chuchu Fan, Sayan Mitra

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models.

Chuchu Fan, Kristina Miller, Sayan Mitra

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020