Published January 19, 2025
| Version v2
Software
Open
vergo 0.1.1
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.
Files
vergo-0.1.1.zip
Files
(346.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:98d0fddb2be5132d19867afea3c3a177
|
346.4 kB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/jens-classen/vergo
- Programming language
- Prolog
- Development Status
- Active