| 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 | 78 | 2019 |
| 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 | 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 | 22 | 2017 |
| 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 Robotics Research: The 19th International Symposium ISRR, 224-241, 2022 | 17* | 2022 |
| 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 | 9 | 2019 |
| 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 |
| 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 | 6 | 2021 |
| 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 | 4 | 2023 |
| 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 |
| Robust Multi-Agent Coordination from CaTL+ Specifications W Liu, K Leahy, Z Serlin, C Belta https://arxiv.org/abs/2210.01732, 2022 | 2 | 2022 |
| Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications M Cai, M Mann, Z Serlin, K Leahy, CI Vasile https://doi.org/10.48550/arXiv.2210.01162, 2022 | 1 | 2022 |
| 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 |
| CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications W Liu, K Leahy, Z Serlin, C Belta arXiv preprint arXiv:2212.11792, 2022 | | 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 | | 2021 |
| Distributed formal methods and sensing for autonomous systems ZT Serlin Boston University, 2020 | | 2020 |
| A Novel Approach for the Simulation of Xenopus laevis Tail Regeneration ZT Serlin Tufts University, 2016 | | 2016 |
Calin BeltaProfessor, Boston UniversityBestätigte E-Mail-Adresse bei bu.edu
