A formal methods approach to interpretable reinforcement learning for robotic planning X Li, Z Serlin, G Yang, C Belta Science Robotics 4 (37), eaay6276, 2019 | 113 | 2019 |
Scalable and robust algorithms for task-based coordination from high-level specifications (scratches) K Leahy, Z Serlin, CI Vasile, A Schoer, AM Jones, R Tron, C Belta IEEE Transactions on Robotics 38 (4), 2516-2535, 2021 | 41 | 2021 |
Sampling-based motion planning via control barrier functions G Yang, B Vang, Z Serlin, C Belta, R Tron Proceedings of the 2019 3rd International Conference on Automation, Control …, 2019 | 37 | 2019 |
ScRATCHS: Scalable and robust algorithms for task-based coordination from high-level specifications AM Jones, K Leahy, C Vasile, S Sadraddini, Z Serlin, R Tron, C Belta The International Symposium of Robotics Research, 224-241, 2019 | 23* | 2019 |
Soft foam robot with caterpillar-inspired gait regimes for terrestrial locomotion CM Donatelli, ZT Serlin, P Echols-Jones, AE Scibelli, A Cohen, JM Musca, ... Intelligent Robots and Systems (IROS), 2017 IEEE/RSJ International …, 2017 | 21 | 2017 |
Temporal logic guided safe model-based reinforcement learning: A hybrid systems approach MH Cohen, Z Serlin, K Leahy, C Belta Nonlinear Analysis: Hybrid Systems 47, 101295, 2023 | 15 | 2023 |
Distributed and Consistent Multi-Image Feature Matching via QuickMatch Z Serlin, G Yang, B Sookraj, C Belta, R Tron International Journal of Robotics Research, 2019 | 13 | 2019 |
How to train your neural control barrier function: Learning safety filters for complex input-constrained systems O So, Z Serlin, M Mann, J Gonzales, K Rutledge, N Roy, C Fan 2024 IEEE International Conference on Robotics and Automation (ICRA), 11532 …, 2024 | 8 | 2024 |
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications M Cai, M Mann, Z Serlin, K Leahy, CI Vasile 2023 American Control Conference (ACC), 2022 | 8 | 2022 |
Robust Multi-Agent Coordination from CaTL+ Specifications W Liu, K Leahy, Z Serlin, C Belta https://arxiv.org/abs/2210.01732, 2022 | 8 | 2022 |
Distributed Sensing Subject to Temporal Logic Constraints Z Serlin, K Leahy, R Tron, C Belta 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018 | 8 | 2018 |
Probabilistic coordination of heterogeneous teams from capability temporal logic specifications M Cai, K Leahy, Z Serlin, CI Vasile IEEE Robotics and Automation Letters 7 (2), 1190-1197, 2021 | 7 | 2021 |
Consistent multi-robot object matching via QuickMatch Z Serlin, B Sookraj, C Belta, R Tron Proceedings of the 2018 International Symposium on Experimental Robotics …, 2020 | 3 | 2020 |
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications W Liu, K Leahy, Z Serlin, C Belta Learning for Dynamics and Control Conference, 705-717, 2023 | 1 | 2023 |
A level set approach to simulating Xenopus laevis tail regeneration Z Serlin, J Rife, M Levin 13th Proceedings of the Artificial Life Conference 2016, 528-535, 2016 | 1 | 2016 |
Run-Time Task Composition with Safety Semantics K Leahy, M Mann, Z Serlin Forty-first International Conference on Machine Learning, 0 | 1 | |
Temporal Logic Planning via Zero-Shot Policy Composition T Bergeron, Z Serlin, K Leahy arXiv preprint arXiv:2408.04215, 2024 | | 2024 |
Evaluating Collaborative Autonomy in Opposed Environments using Maritime Capture-the-Flag Competitions J Beason, M Novitzky, J Kliem, T Errico, Z Serlin, K Becker, T Paine, ... arXiv preprint arXiv:2404.17038, 2024 | | 2024 |
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning K Leahy, M Mann, Z Serlin arXiv preprint arXiv:2306.17033, 2023 | | 2023 |
Distributed formal methods and sensing for autonomous systems ZT Serlin Boston University, 2020 | | 2020 |