| Fast and guaranteed safe controller synthesis for nonlinear vehicle models C Fan, K Miller, S Mitra International Conference on Computer Aided Verification, 629-652, 2020 | 48 | 2020 |
| Planning in dynamic and partially unknown environments K Miller, C Fan, S Mitra IFAC-PapersOnLine 54 (5), 169-174, 2021 | 8 | 2021 |
| Continuous integration and testing for autonomous racing software: An experience report from GRAIC M Jiang, K Miller, D Sun, Z Liu, Y Jia, A Datta, N Ozay, S Mitra IEEE ICRA 2021, International Conference on Robotics and Automation …, 2021 | 7 | 2021 |
| Crowd-sourced data and analysis tools for advancing the chemical vapor deposition of graphene: implications for manufacturing JA Schiller, R Toro, A Shah, M Surana, K Zhang, M Robertson, K Miller, ... ACS Applied Nano Materials 3 (10), 10144-10155, 2020 | 6 | 2020 |
| Multi-agent motion planning using differential games with lexicographic preferences K Miller, S Mitra 2022 IEEE 61st Conference on Decision and Control (CDC), 5751-5756, 2022 | 4 | 2022 |
| RTAEval: A framework for evaluating runtime assurance logic K Miller, CK Zeitler, W Shen, M Viswanathan, S Mitra International Symposium on Automated Technology for Verification and …, 2023 | 3 | 2023 |
| Autonomous Local Catalog Maintenance of Close Proximity Satellite Systems on Closed Natural Motion Trajectories CW Hays, K Miller, A Soderlund, S Phillips, T Henderson arXiv preprint arXiv:2302.00601, 2023 | 2 | 2023 |
| Multi-agent Control of Chaser Satellites using Games with Lexicographic Preferences K Miller, S Phillips, AA Soderlund AIAA Scitech 2023 Forum, 2675, 2023 | 2 | 2023 |
| Optimal runtime assurance via reinforcement learning K Miller, CK Zeitler, W Shen, K Hobbs, J Schierman, M Viswanathan, ... 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS …, 2024 | 1 | 2024 |
| Sensor Safety and Multi-Objective Satellite Control under Nonlinear Dynamics K Miller, JM Brewer, AA Soderlund, S Phillips 2023 American Control Conference (ACC), 4284-4289, 2023 | 1 | 2023 |
| Fast nonlinear controller synthesis using reachability analysis K Miller, C Fan, S Mitra | 1 | 2020 |
| Guaranteed Safe Satellite Guidance and Navigation Using Reachability Based Switching Controllers K Miller, S Phillips, S Mitra 2024 American Control Conference (ACC), 2298-2303, 2024 | | 2024 |
| State Omniscience for Cooperative Local Catalog Maintenance of Close Proximity Satellite Systems CW Hays, K Miller, AA Soderlund, S Phillips, T Henderson AIAA SCITECH 2024 Forum, 0992, 2024 | | 2024 |
| Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning K Miller, CK Zeitler, W Shen, K Hobbs, S Mitra, J Schierman, ... arXiv preprint arXiv:2310.04288, 2023 | | 2023 |
| Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models C Fan, K Miller, S Mitra AIAA Scitech 2021 Forum, 0996, 2021 | | 2021 |
| Optimizing Rewards while meeting ω-regular Con-straints CK Zeitler, K Miller, S Mitra, J Schierman, M Viswanathan | | |
Sayan MitraUniversity of Illinois at Urbana Champaign在 illinois.edu 的电子邮件经过验证
