Zachary Serlin
Papers
5
Total Citations
198
H-Index
5
About
Zachary Serlin is a leading researcher at the intersection of formal methods, multi-agent robotics, and bio-inspired design. His work addresses a critical challenge in modern robotics: ensuring that autonomous systems—particularly heterogeneous robot teams—can execute complex, high-level tasks with provable guarantees of safety and correctness. Serlin’s major contributions include pioneering a formal methods approach to interpretable reinforcement learning for robotic planning, a highly influential work (106 citations) that bridges the gap between learned policies and verifiable behavior. He is also the architect of the ScRATCHeS framework (58 citations), which provides scalable and robust algorithms for coordinating diverse robot teams under real-world constraints like strict deadlines and intertask dependencies. Beyond formal verification, Serlin has explored soft robotics, drawing inspiration from caterpillar locomotion to design novel soft foam robots capable of navigating complex terrain. His work on Capability Temporal Logic (CaTL) enables probabilistic coordination of heterogeneous teams from rich, temporal-spatial specifications, representing a significant advance in distributed, task-based robotics. With a research portfolio that spans from theoretical guarantees to physical robot design, Serlin’s work is essential reading for anyone interested in safe, scalable, and verifiable multi-agent systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4
- 5Distributed Sensing Subject to Temporal Logic Constraints8 citations · 2018