Bonet B, Palacios H, Geffner H. Automatic Derivation of Finite-State Machines for Behavior Control. AAAI [Internet]. 2010 Jul. 5 [cited 2026 May 21];24(1):1656-9. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/7706