| Hybrid dynamic moving obstacle avoidance using a stochastic reachable set-based potential field N Malone, HT Chiang, K Lesser, M Oishi, L Tapia IEEE Transactions on Robotics 33 (5), 1124-1138, 2017 | 175 | 2017 |
| Path-guided artificial potential fields with stochastic reachable sets for motion planning in highly dynamic environments HT Chiang, N Malone, K Lesser, M Oishi, L Tapia 2015 IEEE international conference on robotics and automation (ICRA), 2347-2354, 2015 | 158 | 2015 |
| Stochastic reachability for control of spacecraft relative motion K Lesser, M Oishi, RS Erwin 52nd IEEE Conference on Decision and Control, 4705-4712, 2013 | 59 | 2013 |
| Stochastic reachability based motion planning for multiple moving obstacle avoidance N Malone, K Lesser, M Oishi, L Tapia Proceedings of the 17th international conference on Hybrid systems …, 2014 | 38 | 2014 |
| Aggressive moving obstacle avoidance using a stochastic reachable set based potential field HT Chiang, N Malone, K Lesser, M Oishi, L Tapia Algorithmic Foundations of Robotics XI: Selected Contributions of the …, 2015 | 33 | 2015 |
| Reachability for partially observable discrete time stochastic hybrid systems K Lesser, M Oishi Automatica 50 (8), 1989-1998, 2014 | 31 | 2014 |
| ARCH-COMP18 category report: Stochastic modelling A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ... 5th international workshop on applied verification of continuous and hybrid …, 2018 | 27 | 2018 |
| Challenge problem: Assured satellite proximity operations CD Petersen, S Phillips, KL Hobbs, K Lang 31st AAS/AIAA Space Flight Mechanics Meeting 176, 2021 | 23 | 2021 |
| Approximate safety verification and control of partially observable stochastic hybrid systems K Lesser, M Oishi IEEE Transactions on Automatic Control 62 (1), 81-96, 2016 | 18 | 2016 |
| Finite state approximation for verification of partially observable stochastic hybrid systems K Lesser, M Oishi Proceedings of the 18th international conference on hybrid systems …, 2015 | 16 | 2015 |
| Deep reinforcement learning for multi-agent autonomous satellite inspection HH Lei, M Shubert, N Damron, K Lang, S Phillips Proceedings of the 44th Annual American Astronautical Society Guidance …, 2022 | 13 | 2022 |
| Multi-objective optimal control with safety as a priority K Lesser, A Abate Proceedings of the 8th International Conference on Cyber-Physical Systems, 25-36, 2017 | 13 | 2017 |
| Safety verification of output feedback controllers for nonlinear systems K Lesser, A Abate 2016 European Control Conference (ECC), 413-418, 2016 | 7 | 2016 |
| Controller synthesis for probabilistic safety specifications using observers K Lesser, A Abate IFAC-PapersOnLine 48 (27), 329-334, 2015 | 6 | 2015 |
| Exposure-Based Multi-Agent Inspection of a Tumbling Target Using Deep Reinforcement Learning J Aurand, S Cutlip, H Lei, K Lang, S Phillips arXiv preprint arXiv:2302.14188, 2023 | 5 | 2023 |
| Formal verification applied to spacecraft attitude control K Lang, C Klett, K Hawkins, E Feron, P Tsiotras, S Phillips AIAA Scitech 2021 Forum, 1126, 2021 | 4 | 2021 |
| Don’t go that way! risk-aware decision making for autonomous vehicles K Mokhtari, KA Lang, AR Wagner Social Robotics: 12th International Conference, ICSR 2020, Golden, CO, USA …, 2020 | 4 | 2020 |
| Computing probabilistic viable sets for partially observable systems using truncated gaussians and adaptive gridding K Lesser, M Oishi 2015 American Control Conference (ACC), 1505-1512, 2015 | 4 | 2015 |
| Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions M Abate, M Mote, M Dor, C Klett, S Phillips, K Lang, P Tsiotras, E Feron, ... IEEE Transactions on Control Systems Technology, 2023 | 3 | 2023 |
| Automated satellite fault detection using machine learning K Lang, B Xu, M Simon, B Seibert ASCEND 2022, 4297, 2022 | 3 | 2022 |
