Zachary Serlin

31 papers A* 2A 1C 4Journal 21Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards.
L4DC
Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2025 J jnl
From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy.
CoRR
Erfaun Noorani, Zachary Serlin, Ben Price, Alvaro Velasquez
2025 J jnl
From abstraction to reality: DARPA's vision for robust sim-to-real autonomy.
AI Mag.
Erfaun Noorani, Zachary Serlin, Ben Price, Alvaro Velasquez
2025 A conf
MAGNET: A Multi-Agent Graph Neural Network for Efficient Bipartite Task Assignment.
AAMAS
Donald Loveland, James Usevitch, Zachary Serlin, Danai Koutra, Rajmonda Caceres
2025 J jnl
PRISM: Complete Online Decentralized Multi-Agent Pathfinding with Rapid Information Sharing using Motion Constraints.
CoRR
Hannah Lee, Zachary Serlin, James Motes, Brendan Long, Marco Morales, Nancy M. Amato
2025 J jnl
SPLASH! Sample-efficient Preference-based inverse reinforcement learning for Long-horizon Adversarial tasks from Suboptimal Hierarchical demonstrations.
CoRR
Peter Crowley, Zachary Serlin, Tyler M. Paine, Makai Mann, Michael R. Benjamin, Calin Belta
2025 J jnl
Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime.
IEEE Robotics Autom. Lett.
Luzia Knödler, Oswin So, Ji Yin, Mitchell Black, Zachary Serlin, Panagiotis Tsiotras, Javier Alonso-Mora, Chuchu Fan
2025 J jnl
Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL.
CoRR
Songyuan Zhang, Oswin So, Mitchell Black, Zachary Serlin, Chuchu Fan
2024 J jnl
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards.
CoRR
Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2024 J jnl
Evaluating Collaborative Autonomy in Opposed Environments using Maritime Capture-the-Flag Competitions.
CoRR
Jordan Beason, Michael Novitzky, John Kliem, Tyler Errico, Zachary Serlin, Kevin Becker, Tyler M. Paine, Michael R. Benjamin, Prithviraj Dasgupta, Peter Crowley, Charles O'Donnell, John James
2024 A* conf
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems.
ICRA
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
2024 J jnl
RPCBF: Constructing Safety Filters Robust to Model Error and Disturbances via Policy Control Barrier Functions.
CoRR
Luzia Knödler, Oswin So, Ji Yin, Mitchell Black, Zachary Serlin, Panagiotis Tsiotras, Javier Alonso-Mora, Chuchu Fan
2024 A* conf
Run-Time Task Composition with Safety Semantics.
ICML
Kevin Leahy, Makai Mann, Zachary Serlin
2024 J jnl
Temporal Logic Planning via Zero-Shot Policy Composition.
CoRR
Taylor Bergeron, Zachary Serlin, Kevin Leahy
2023 — conf
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications.
L4DC
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2023 J jnl
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems.
CoRR
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
2023 C conf
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.
ACC
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2023 C conf
Robust Multi-Agent Coordination from CaTL+ Specifications.
ACC
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2023 J jnl
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning.
CoRR
Kevin Leahy, Makai Mann, Zachary Serlin
2022 J jnl
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications.
CoRR
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2022 J jnl
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.
CoRR
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2022 J jnl
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications.
IEEE Robotics Autom. Lett.
Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile
2022 J jnl
Robust Multi-Agent Coordination from CaTL+ Specifications.
CoRR
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2022 J jnl
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).
IEEE Trans. Robotics
Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta
2020 J jnl
Distributed and consistent multi-image feature matching via QuickMatch.
Int. J. Robotics Res.
Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron
2019 J jnl
A formal methods approach to interpretable reinforcement learning for robotic planning.
Sci. Robotics
Xiao Li, Zachary Serlin, Guang Yang, Calin Belta
2019 J jnl
Distributed and Consistent Multi-Image Feature Matching via QuickMatch.
CoRR
Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron
2019 J jnl
Sampling-based Motion Planning via Control Barrier Functions.
CoRR
Guang Yang, Bee Vang, Zachary Serlin, Calin Belta, Roberto Tron
2019 C conf
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.
ISRR
Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
2018 — conf
Consistent Multi-robot Object Matching via QuickMatch.
ISER
Zachary Serlin, Brandon Sookraj, Calin Belta, Roberto Tron
2016 C conf
A Level Set Approach to Simulating Xenopus laevis Tail Regeneration.
ALIFE
Michael Levin, Jason H. Rife, Zachary Serlin