| Formal verification of neural network controlled autonomous systems X Sun, H Khedr, Y Shoukry Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 174 | 2019 |
| Nested mimd-simd parallelization for heterogeneous microprocessors D Gerzhoy, X Sun, M Zuzak, D Yeung ACM Transactions on Architecture and Code Optimization (TACO) 16 (4), 1-27, 2019 | 12 | 2019 |
| Neurosymbolic motion and task planning for linear temporal logic tasks X Sun, Y Shoukry IEEE Transactions on Robotics, 2024 | 11 | 2024 |
| DoS-resilient multi-robot temporal logic motion planning X Sun, R Nambiar, M Melhorn, Y Shoukry, P Nuzzo 2019 International Conference on Robotics and Automation (ICRA), 6051-6057, 2019 | 10 | 2019 |
| Provably correct training of neural network controllers using reachability analysis X Sun, Y Shoukry arXiv preprint arXiv:2102.10806, 2021 | 7 | 2021 |
| Two-level lattice neural network architectures for control of nonlinear systems J Ferlez, X Sun, Y Shoukry 2020 59th IEEE Conference on Decision and Control (CDC), 2198-2203, 2020 | 7 | 2020 |
| Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach X Sun, W Fatnassi, US Cruz, Y Shoukry 2021 60th IEEE Conference on Decision and Control (CDC), 2963-2968, 2021 | 5 | 2021 |
| NNSynth: Neural network guided abstraction-based controller synthesis for stochastic systems X Sun, Y Shoukry 2022 IEEE 61st Conference on Decision and Control (CDC), 2905-2910, 2022 | 1 | 2022 |
| Safe Learning and Verification of Neural Network Controllers for Autonomous Systems X Sun University of California, Irvine, 2022 | | 2022 |
