Research map / Multi-agent systems and games / Human-AI and goal-conditioned
Model-Checking for Ability-Based Logics with Constrained Plans
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Replace the standard ability-based Lkh modality with uncertainty classes represented by regular languages | Ability-based knowing-how model-checking · LUreg model-checking | complexity: PSpace-complete -> PTime | Helped |
| Add budget constraints to regular-language uncertainty-based logic LUreg | LUreg · LUreg with arbitrary budgets model-checking | complexity: PTime -> PTime | No clear effect |
| Add budget constraints to standard ability-based logic Lkh | Lkh · Lkh with arbitrary budgets model-checking | complexity: PSpace-complete -> ExpSpace-hard | Hurt |
| Require action costs to be independent of states | Lkh with arbitrary budgets · Lkh with state-independent action costs model-checking | complexity: ExpSpace-hard; ExpSpace-complete | Mixed |
| Fix the number of resource types | Lkh with state-independent action costs · Lkh with fixed resources model-checking | complexity: ExpSpace-complete -> PSpace-complete | Helped |
Closest papers by meaning
- Model Checking Probabilistic Knowledge: A PSPACE Case (AAAI 2016 · similarity 0.90)
- A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity (AAAI 2025 · similarity 0.87)
- Natural Strategic Ability in Stochastic Multi-Agent Systems (AAAI 2024 · similarity 0.86)
- Towards Epistemic-Doxastic Planning with Observation and Revision (AAAI 2024 · similarity 0.84)
- A Modal Logic of Optimality (Student Abstract) (AAAI 2025 · similarity 0.84)
- Minimal Change in Modal Logic S5 (AAAI 2025 · similarity 0.84)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.