Kristina Miller

According to our database, Kristina Miller authored at least 7 papers between 2020 and 2023.

Collaborative distances:

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

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