Beskrivelse
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.
| Dato for tilgængelighed | 19 jan. 2025 |
|---|---|
| Forlag | Zenodo |