Folgen
Zachary Serlin
Zachary Serlin
MIT Lincoln Laboratory
Bestätigte E-Mail-Adresse bei bu.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1022019
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
342019
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
322021
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
22*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
212017
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
112023
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
102019
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
82018
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
62023
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
62022
Robust Multi-Agent Coordination from CaTL+ Specifications
W Liu, K Leahy, Z Serlin, C Belta
https://arxiv.org/abs/2210.01732, 2022
52022
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
42021
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
32020
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
12023
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
12016
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
A Novel Approach for the Simulation of Xenopus laevis Tail Regeneration
ZT Serlin
Tufts University, 2016
2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18