collaborators

1 paper

cs.AI2025

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments

Till Hofmann, Jens Claßen

We investigate the synthesis of policies for high-level agent programs expressed in Golog, a language based on situation calculus that incorporates nondeterministic programming con…