Zachary Serlin
MIT Lincoln Laboratory(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, Reasoning, and Knowledge, Reinforcement Learning in Robotics, Adversarial Robustness in Machine Learning, Robotic Path Planning Algorithms
Most-Cited Works
- → A formal methods approach to interpretable reinforcement learning for robotic planning(2019)104 cited
- → Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)(2021)57 cited
- → How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems(2024)21 cited
- → Soft foam robot with caterpillar-inspired gait regimes for terrestrial locomotion(2017)16 cited
- → Robust Multi-Agent Coordination from CaTL+ Specifications(2023)15 cited
- → Temporal logic guided safe model-based reinforcement learning: A hybrid systems approach(2022)11 cited
- → Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications(2021)10 cited
- → ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications(2022)10 cited
- → Distributed Sensing Subject to Temporal Logic Constraints(2018)8 cited
- → Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications(2023)6 cited