Reactive Policy Checking for Action Languages
Authors: Zeynep Gözen Saribatur
IJCAI 2016 | Conference PDF | Archive PDF | Plain Text | 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 zeynep@kr.tuwien.ac.at |
| 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. |