Description
Vergo is an implementation of the high-level agent programming language GOLOG, specifically devised as testbed for algorithms for temporal verification and synthesis. This revision was used for the synthesis experiments described in the paper: Till Hofmann and Jens Claßen: LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments. In Proc. AAAI, 2025.
| Date made available | 19 Jan 2025 |
|---|---|
| Publisher | Zenodo |