A Level Set Approach to Simulating Xenopus laevis Tail Regeneration. - Michael Levin 001; Jason H. Rife; Zachary Serlin (ALIFE, 2016)

Soft foam robot with caterpillar-inspired gait regimes for terrestrial locomotion. - Cassandra M. Donatelli; Zachary T. Serlin; Piers M. Echols-Jones; Anthony E. Scibelli; Alexandra Cohen; Jeanne-Marie Musca; Shane Rozen-Levy; David Buckingham; Robert D. White; Barry A. Trimmer (IROS, 2017)

Distributed Sensing Subject to Temporal Logic Constraints. - Zachary T. Serlin; Kevin Leahy 001; Roberto Tron; Calin Belta (IROS, 2018)

Consistent Multi-robot Object Matching via QuickMatch. - Zachary Serlin; Brandon Sookraj; Calin Belta; Roberto Tron (ISER, 2018)

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. - Austin M. Jones; Kevin Leahy 001; Cristian Ioan Vasile; Sadra Sadraddini; Zachary Serlin; Roberto Tron; Calin Belta (ISRR, 2019)

Sampling-based Motion Planning via Control Barrier Functions. - Guang Yang 018; Bee Vang; Zachary Serlin; Calin Belta; Roberto Tron (CoRR, 2019)

A formal methods approach to interpretable reinforcement learning for robotic planning. - Xiao Li 013; Zachary Serlin; Guang Yang 018; Calin Belta (Sci. Robotics, 2019)

Distributed and consistent multi-image feature matching via QuickMatch. - Zachary Serlin; Guang Yang 018; Brandon Sookraj; Calin Belta; Roberto Tron (Int. J. Robotics Res., 2020)

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. - Mingyu Cai; Kevin Leahy 001; Zachary Serlin; Cristian-Ioan Vasile (IEEE Robotics Autom. Lett., 2022)

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). - Kevin Leahy 001; Zachary Serlin; Cristian-Ioan Vasile; Andrew Schoer; Austin M. Jones; Roberto Tron; Calin Belta (IEEE Trans. Robotics, 2022)

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. - Mingyu Cai; Makai Mann; Zachary Serlin; Kevin Leahy 001; Cristian-Ioan Vasile (ACC, 2023)

Robust Multi-Agent Coordination from CaTL+ Specifications. - Wenliang Liu 001; Kevin Leahy 001; Zachary Serlin; Calin Belta (ACC, 2023)

CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. - Wenliang Liu 001; Kevin Leahy 001; Zachary Serlin; Calin Belta (L4DC, 2023)

Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning. - Kevin Leahy 001; Makai Mann; Zachary Serlin (CoRR, 2023)

Run-Time Task Composition with Safety Semantics. - Kevin Leahy 001; Makai Mann; Zachary Serlin (ICML, 2024)

How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. - Oswin So; Zachary Serlin; Makai Mann; Jake Gonzales; Kwesi Rutledge; Nicholas Roy; Chuchu Fan (ICRA, 2024)

Evaluating Collaborative Autonomy in Opposed Environments using Maritime Capture-the-Flag Competitions. - Jordan Beason; Michael Novitzky; John Kliem; Tyler Errico; Zachary Serlin; Kevin Becker; Tyler M. Paine; Michael Benjamin; Prithviraj Dasgupta; Peter Crowley; Charles O'Donnell; John James (CoRR, 2024)

Temporal Logic Planning via Zero-Shot Policy Composition. - Taylor Bergeron; Zachary Serlin; Kevin Leahy 001 (CoRR, 2024)

RPCBF: Constructing Safety Filters Robust to Model Error and Disturbances via Policy Control Barrier Functions. - Luzia Knödler; Oswin So; Ji Yin; Mitchell Black 001; Zachary Serlin; Panagiotis Tsiotras; Javier Alonso-Mora; Chuchu Fan (CoRR, 2024)

MAGNET: A Multi-Agent Graph Neural Network for Efficient Bipartite Task Assignment. - Donald Loveland; James Usevitch; Zachary Serlin; Danai Koutra; Rajmonda Caceres (AAMAS, 2025)

Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. - Ahmad Ahmad; Mehdi Kermanshah; Kevin Leahy 001; Zachary Serlin; Ho Chit Siu; Makai Mann; Cristian-Ioan Vasile; Roberto Tron; Calin Belta (L4DC, 2025)

From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy. - Erfaun Noorani; Zachary Serlin; Ben Price; Alvaro Velasquez (CoRR, 2025)

Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL. - Songyuan Zhang; Oswin So; Mitchell Black 001; Zachary Serlin; Chuchu Fan (CoRR, 2025)

PRISM: Complete Online Decentralized Multi-Agent Pathfinding with Rapid Information Sharing using Motion Constraints. - Hannah Lee; Zachary Serlin; James Motes; Brendan Long; Marco Morales 001; Nancy M. Amato (CoRR, 2025)

SPLASH! Sample-efficient Preference-based inverse reinforcement learning for Long-horizon Adversarial tasks from Suboptimal Hierarchical demonstrations. - Peter Crowley; Zachary Serlin; Tyler M. Paine; Makai Mann; Michael Benjamin; Calin Belta (CoRR, 2025)

Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime. - Luzia Knödler; Oswin So; Ji Yin; Mitchell Black 001; Zachary Serlin; Panagiotis Tsiotras; Javier Alonso-Mora; Chuchu Fan (IEEE Robotics Autom. Lett., 2025)