| 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 | 119 | 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 | 51 | 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 | 41 | 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 | 24* | 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 | 21 | 2024 |
| 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 | 16 | 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 | 15 | 2019 |
| Robust Multi-Agent Coordination from CaTL+ Specifications W Liu, K Leahy, Z Serlin, C Belta https://arxiv.org/abs/2210.01732, 2022 | 12 | 2022 |
| 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 | 10 | 2022 |
| 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 | 8 | 2021 |
| 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 |
| 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 |
| 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 | 1 | 2024 |
| 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 | |
| Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Games with Delayed Rewards A Ahmad, M Kermanshah, K Leahy, Z Serlin, HC Siu, M Mann, CI Vasile, ... arXiv preprint arXiv:2411.17861, 2024 | | 2024 |
| RPCBF: Constructing Safety Filters Robust to Model Error and Disturbances via Policy Control Barrier Functions L Knoedler, O So, J Yin, M Black, Z Serlin, P Tsiotras, J Alonso-Mora, ... arXiv preprint arXiv:2410.11157, 2024 | | 2024 |
| Temporal Logic Planning via Zero-Shot Policy Composition T Bergeron, Z Serlin, K Leahy arXiv preprint arXiv:2408.04215, 2024 | | 2024 |
Calin BeltaBrendan Iribe Endowed Professor, University of MarylandBestätigte E-Mail-Adresse bei bu.edu
