Human Planning of Robot Actions through LLM-guided State Machine Synthesis. - Brennan Swick; Sean Donegan; Andrew Gillman; Michael Groeber (RO-MAN, 2024)