Published March 9, 2026 | Version v1
Dataset Open

Algorithms for Deciding the Safety of States in Fully Observable Non-deterministic Problems

Authors/Creators

  • 1. ROR icon Saarland University

Contributors

  • 1. ROR icon Saarland University

Description

The codebase for Algorithms for Deciding the Safety of States in Fully Observable Non-deterministic Problems. This work has been accepted to the International Conference on Automated Planning and Scheduling, ICAPS 2026.

Files

benchmarks.zip

Files (1.0 GB)

Name Size Download all
md5:2339789a1170b3267686261a5f1f7dc9
73.1 MB Preview Download
md5:5c39ad9517e070e91d787ae960a37f4c
183.0 MB Preview Download
md5:d5d337f19a8cea0a46abc8f78587a1ae
780.0 MB Preview Download
md5:b697f3e92a3ea17513f476ca787326ca
2.9 kB Preview Download

Additional details

Related works

Has part
Dataset: 10.5281/zenodo.16847415 (DOI)

Software

Repository URL
https://github.com/ChaahatJain/ICAPS26-Deciding-State-Safety-in-FOND
Programming language
C++