A Modal Logic for Joint Abilities under Strategy Commitments
Authors: Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi
IJCAI 2020 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We analyze valid formulas in JAADL, give sufficient/necessary conditions for joint abilities, and show that model checking memoryless JAADL is in EXPTIME. |
| Researcher Affiliation | Academia | 1Dept. of Computer Science, Sun Yat-sen University, Guangzhou 510006, China 2Dept. of Computer Science, South China Normal University, Guangzhou 510631, China 3Dept. of Electrical Engineering and Computer Science, York University, Toronto, ON M3J 1P3, Canada |
| Pseudocode | Yes | Algorithm 1 Labeling State Space, Algorithm 2 Model-Checking Path Formulas, Algorithm 3 Calculating Reduced Strategy Space |
| Open Source Code | No | The paper does not provide any explicit statements about releasing source code or links to a code repository. |
| Open Datasets | No | The paper uses illustrative examples (e.g., 'Three-player Collaborative PRS', 'The Traffic Rule Example', 'Autonomous Cars', 'The Squirrels World') rather than empirical datasets used for training or evaluation. No public dataset information is provided. |
| Dataset Splits | No | The paper focuses on theoretical analysis and illustrative examples; therefore, no specific dataset split information (including validation splits) is provided. |
| Hardware Specification | No | The paper does not specify any hardware used for running experiments or simulations. |
| Software Dependencies | No | The paper does not provide specific software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and focuses on logical framework development and analysis. It does not describe any experiments that would require hyperparameters or training settings. |