Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
Reactive Policy Checking for Action Languages
Authors: Zeynep Gözen Saribatur
IJCAI 2016 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | This thesis aims to build foundations for such a verification capability for policies with a reactive behavior, with a focus on combining the representation power of action languages with model checking techniques.In summary, this thesis will yield a theoretical foundation for gaining the capability of verifying (human-designed) reactive policies for AI agents with a focus on action languages. |
| Researcher Affiliation | Academia | Zeynep G ozen Saribatur Technische Universit at Wien Vienna, Austria EMAIL |
| Pseudocode | No | The paper does not contain any structured pseudocode or clearly labeled algorithm blocks. |
| Open Source Code | No | The paper states that 'a prototypical implementation should be provided for the evaluation of the elaborated methods within the thesis' as a future plan, but no concrete access to source code for the described methodology is provided in the current paper. |
| Open Datasets | No | The paper is theoretical and outlines future research directions; it does not describe any experiments involving datasets or provide information about publicly available datasets. |
| Dataset Splits | No | The paper is theoretical and discusses future work, thus no dataset splits (train/validation/test) are described for experimental reproduction. |
| Hardware Specification | No | The paper outlines a theoretical framework and future work, and therefore does not specify any hardware details used for running experiments. |
| Software Dependencies | No | The paper mentions future plans to 'use available model checkers' and 'make use of ASP reasoners' but does not provide specific software names with version numbers. |
| Experiment Setup | No | The paper describes theoretical foundations and future work, without detailing any specific experimental setup, hyperparameters, or training configurations. |