Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines.

Yu-An Lin Chen-Tao Lee Guan-Ting Liu Pu-Jen Cheng Shao-Hua Sun

Published in: CoRR (2023)

Keyphrases

program synthesis
state machines
state machine
petri net
inductive logic programming
artificial intelligence
recursive programs
general purpose
background knowledge
model checking
sequence diagrams