| An abstraction-free method for multirobot temporal logic optimal control synthesis X Luo, Y Kantaros, MM Zavlanos IEEE Transactions on Robotics 37 (5), 1487-1507, 2021 | 48 | 2021 |
| Temporal logic task allocation in heterogeneous multirobot systems X Luo, MM Zavlanos IEEE Transactions on Robotics 38 (6), 3602-3621, 2022 | 36 | 2022 |
| Socially-Aware Robot Planning via Bandit Human Feedback X Luo*, Y Zhang*, MM Zavlanos (* equal contribution) 2020 ACM/IEEE 11th International Conference on Cyber …, 2020 | 21 | 2020 |
| An optimal graph-search method for secure state estimation X Luo, M Pajic, MM Zavlanos Automatica 123, 109323, 2021 | 20* | 2021 |
| Formal Verification of Stochastic Systems with ReLU Neural Network Controllers S Sun, Y Zhang, X Luo, P Vlantis, M Pajic, MM Zavlanos 2022 International Conference on Robotics and Automation (ICRA), 6800-6806, 2022 | 6 | 2022 |
| Transfer Planning for Temporal Logic Tasks X Luo, MM Zavlanos 2019 IEEE 58th Conference on Decision and Control (CDC), 5306-5311, 2019 | 6 | 2019 |
| Human-in-the-loop robot planning with non-contextual bandit feedback Y Zhou, Y Zhang, X Luo, MM Zavlanos 2021 60th IEEE Conference on Decision and Control (CDC), 2848-2853, 2021 | 5 | 2021 |
| Single-Agent Indirect Herding of Multiple Targets using Metric Temporal Logic Switching DM Le, X Luo, LJ Bridgeman, MM Zavlanos, WE Dixon 2020 59th IEEE Conference on Decision and Control (CDC), 1398-1403, 2020 | 5 | 2020 |
| Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications X Luo, S Xu, R Liu, C Liu IEEE Robotics and Automation Letters, 2024, 2024 | 4* | 2024 |
| Obtaining hierarchy from human instructions: an llms-based approach X Luo, S Xu, C Liu CoRL 2023 Workshop on Learning Effective Abstractions for Planning (LEAP), 2023 | 4 | 2023 |
| Simulation-aided Learning from Demonstration for Robotic LEGO Construction R Liu, A Chen, X Luo, C Liu arXiv preprint arXiv:2309.11010, 2023 | 3 | 2023 |
| ModelVerification. jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks T Wei, L Marzari, KS Yun, H Hu, P Niu, X Luo, C Liu arXiv preprint arXiv:2407.01639, 2024 | 2 | 2024 |
| Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications X Luo, C Liu arXiv preprint arXiv:2401.04003, 2024 | 2 | 2024 |
| Scaling Up Natural Language Understanding for Multi-Robots Through the Lens of Hierarchy S Xu*, X Luo*, Y Huang, L Leng, R Liu, C Liu (* equal contribution) arXiv preprint arXiv:2408.08188, 2024 | | 2024 |
| Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods X Luo, T Wei, S Liu, Z Wang, L Mattei-Mendez, T Loper, J Neighbor, ... arXiv preprint arXiv:2408.00117, 2024 | | 2024 |
Michael M. ZavlanosDuke UniversityVerified email at duke.edu
