# Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks

> Research article (2019 International Conference on Robotics and Automation (ICRA), 2019) · cited 39× · AI/ML

**Wikidata**: [openalex:W2967324402](https://www.wikidata.org/wiki/openalex:W2967324402)  
**Source**: https://4ort.xyz/entity/efficient-symbolic-reactive-synthesis-for-finite-horizon-tasks