OpenAlex
LTL receding horizon control for finite deterministic systems
Work