Zachary T. Serlin

According to our database, Zachary T. Serlin authored at least 15 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

CoRR, 2023

Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning.

Kevin Leahy, Makai Mann, Zachary Serlin

CoRR, 2023

CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications.

Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta

Proceedings of the Learning for Dynamics and Control Conference, 2023

Robust Multi-Agent Coordination from CaTL+ Specifications.

Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta

Proceedings of the American Control Conference, 2023

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.

Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile

Proceedings of the American Control Conference, 2023

2022

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).

Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta

IEEE Trans. Robotics, 2022

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications.

Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile

IEEE Robotics Autom. Lett., 2022

2020

Distributed and consistent multi-image feature matching via QuickMatch.

Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron

Int. J. Robotics Res., 2020

2019

A formal methods approach to interpretable reinforcement learning for robotic planning.

Xiao Li, Zachary Serlin, Guang Yang, Calin Belta

Sci. Robotics, 2019

Sampling-based Motion Planning via Control Barrier Functions.

Guang Yang, Bee Vang, Zachary Serlin, Calin Belta, Roberto Tron

CoRR, 2019

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.

Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta

Proceedings of the Robotics Research, 2019

2018

Consistent Multi-robot Object Matching via QuickMatch.

Zachary Serlin, Brandon Sookraj, Calin Belta, Roberto Tron

Proceedings of the 2018 International Symposium on Experimental Robotics, 2018

Distributed Sensing Subject to Temporal Logic Constraints.

Zachary T. Serlin, Kevin Leahy, Roberto Tron, Calin Belta

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

2017

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

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

2016

A Level Set Approach to Simulating Xenopus laevis Tail Regeneration.

Michael Levin, Jason H. Rife, Zachary Serlin

Proceedings of the Fifteenth International Conference on the Simulation and Synthesis of Living Systems, 2016