Zachary Serlin

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Discrete Valued

Reinforcement Learning

Top Venues

IEEE Robotics Autom. Lett.

Publications

Jordan Beason, Michael Novitzky, John Kliem, Tyler Errico, Zachary Serlin, Kevin Becker, Tyler Paine, Michael Benjamin, Prithviraj Dasgupta, Peter Crowley, Charles O'Donnell, John James
Evaluating Collaborative Autonomy in Opposed Environments using Maritime Capture-the-Flag Competitions. CoRR (2024)
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. ICRA (2024)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. L4DC (2023)
Kevin Leahy, Makai Mann, Zachary Serlin
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning. CoRR (2023)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
Robust Multi-Agent Coordination from CaTL+ Specifications. ACC (2023)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. ACC (2023)
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. CoRR (2023)
Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). IEEE Trans. Robotics 38 (4) (2022)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
Robust Multi-Agent Coordination from CaTL+ Specifications. CoRR (2022)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. CoRR (2022)
Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7 (2) (2022)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. CoRR (2022)
Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron
Distributed and consistent multi-image feature matching via QuickMatch. Int. J. Robotics Res. 39 (10-11) (2020)
Guang Yang, Bee Vang, Zachary Serlin, Calin Belta, Roberto Tron
Sampling-based Motion Planning via Control Barrier Functions. CoRR (2019)
Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron
Distributed and Consistent Multi-Image Feature Matching via QuickMatch. CoRR (2019)
Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. ISRR (2019)
Xiao Li, Zachary Serlin, Guang Yang, Calin Belta
A formal methods approach to interpretable reinforcement learning for robotic planning. Sci. Robotics 4 (37) (2019)
Zachary Serlin, Brandon Sookraj, Calin Belta, Roberto Tron
Consistent Multi-robot Object Matching via QuickMatch. ISER (2018)
Michael Levin, Jason H. Rife, Zachary Serlin
A Level Set Approach to Simulating Xenopus laevis Tail Regeneration. ALIFE (2016)