ATL Strategic Reasoning Meets Correlated Equilibrium
Authors: Xiaowei Huang, Ji Ruan
IJCAI 2017 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We implement a prototype model checker for CE-based strategic reasoning (which also includes usual ATL strategic reasoning), and thus all the results in our running examples have been formally veriļ¬ed. |
| Researcher Affiliation | Academia | 1School of Computing and Digital Technology, Birmingham City University, United Kingdom 2Department of Computer Science, Auckland University of Technology, New Zealand {xiaowei.huang@bcu.ac.uk, jiruan@aut.ac.nz} |
| Pseudocode | No | The paper defines mathematical formulations and equations (e.g., for Correlated Equilibrium and optimization problems) but does not contain a structured pseudocode or algorithm block. |
| Open Source Code | Yes | We implemented the proposed framework into a prototype software model checker5. 5https://gitlab.com/xiaowei.huang/rationality. |
| Open Datasets | No | The paper analyzes "running examples" of a Google car accident scenario. It does not mention using or providing access to any publicly available or open datasets for its analysis or verification. |
| Dataset Splits | No | The paper does not specify any dataset splits (e.g., train/validation/test percentages or counts) or mention cross-validation methods. Its analysis is based on theoretical models and running examples rather than empirical dataset validation splits. |
| Hardware Specification | No | The paper does not provide any specific details about the hardware used for running the implemented model checker or verifying the examples. |
| Software Dependencies | No | The paper mentions "a linear constraint solver in Sci Py library" but does not specify its version number. It also mentions "reactive modules" as a language for describing systems, but this is not a specific software with a version for reproducibility. |
| Experiment Setup | No | The paper does not provide specific experimental setup details such as hyperparameter values, training configurations, or system-level settings. It focuses on the theoretical framework and its implementation, with examples being verified by the tool. |