Zachary Serlin

A formal methods approach to interpretable reinforcement learning for robotic planning

Xiao Li, Zachary Serlin, Guang Yang et al. · Science Robotics · 2019 · 104 citations

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

Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile et al. · IEEE Transactions on Robotics · 2021 · 57 citations

Artificial Intelligence, Engineering, Task-based Coordination +25

How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems

Oswin So, Zachary Serlin, Makai Mann et al. · 2024 · 20 citations

Soft foam robot with caterpillar-inspired gait regimes for terrestrial locomotion

Cassandra M. Donatelli, Zachary Serlin, Piers M. Echols-Jones et al. · 2017 · 16 citations

Engineering, Biorobotics, Bio-inspired Design +19

Robust Multi-Agent Coordination from CaTL+ Specifications

Wenliang Liu, Kevin Leahy, Zachary Serlin et al. · 2023 · 15 citations