Zachary Kroeze
Papers
1
Total Citations
12
H-Index
1
About
Zachary Kroeze is a robotics researcher whose work centers on motion planning, multi-robot coordination, and formal methods for safe autonomous systems. His most-cited contribution, "A Modular Framework for Motion Planning Using Safe-by-Design Motion Primitives" (2019, 12 citations), introduces a novel approach that decomposes complex motion planning problems into sequences of low-level, pre-verified motion primitives. By formalizing constraints on allowable primitive sequences within a gridded workspace, Kroeze’s framework ensures safety by design—eliminating the need for runtime collision checking. This modular architecture not only simplifies the planning process for individual robots but also scales elegantly to multi-robot systems, enabling provably safe coordination without centralized control. Kroeze’s work bridges the gap between theoretical formal verification and practical robotic deployment, offering a principled method for generating predictable, collision-free motions. His contributions are particularly impactful in warehouse automation, drone swarms, and autonomous navigation, where safety guarantees are paramount. Through this foundational paper, Kroeze has established a clear pathway for integrating formal methods into real-world motion planning, inspiring further research on composable, verifiable robotic behaviors.
Research Focus
Key Achievements
Top Papers
- 1