PDDL and PSL benchmarks

gaperez64 commented 11 months ago

During a recent Dagstuhl seminar it was proposed that we add benchmarks coming from planning and from real-world specifications. That is:

Translate some PDDL (nondeterministic) instances to TLSF or directly to LTL (eventually, adding some dialect of PDDL as input format/track may be interesting)
Contact D. Fisman, IBM, and research around whether public repos of PSL specifications are available

trolando commented 7 months ago

Any progress on this? Will some of these make it into the PGAME track? Would be nice for papers that use SYNTCOMP PGAME benchmarks hint hint.

gaperez64 commented 7 months ago

No news yet. Do you have suggestions regarding the PDDL benchmarks?

Op ma 12 feb. 2024 16:57 schreef Tom van Dijk @.***>:

Any progress on this? Will some of these make it into the PGAME track? Would be nice for papers that use SYNTCOMP PGAME benchmarks hint hint.

— Reply to this email directly, view it on GitHub https://github.com/SYNTCOMP/benchmarks/issues/31#issuecomment-1938976139, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAUJJ2KYUH2VBUDWLHB44DLYTI3XNAVCNFSM6AAAAAA6BDNYNSVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSMZYHE3TMMJTHE . You are receiving this because you were assigned.Message ID: @.***>

SYNTCOMP / benchmarks

PDDL and PSL benchmarks #31