Zachary Serlin
Zachary Serlin
MIT Lincoln Laboratory
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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
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
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
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
arXiv preprint arXiv:2310.15478, 2023
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
Robust Multi-Agent Coordination from CaTL+ Specifications
W Liu, K Leahy, Z Serlin, C Belta, 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
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
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
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
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
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning
K Leahy, M Mann, Z Serlin
arXiv preprint arXiv:2306.17033, 2023
Distributed formal methods and sensing for autonomous systems
ZT Serlin
Boston University, 2020
A Novel Approach for the Simulation of Xenopus laevis Tail Regeneration
ZT Serlin
Tufts University, 2016
The system can't perform the operation now. Try again later.
Articles 1–19