Cover Image

On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Behnke, Gregor, Steinmetz, Marcel
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

HyPlan: Hybrid Learning-Assisted Planning Under Uncertainty for Safe Autonomous Driving
by: Pfaffmann, Donald, et al.
Published: (2025)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
by: Filipe, João, et al.
Published: (2026)

AMAP Agentic Planning Technical Report
by: AMAP AI Agent Team, et al.
Published: (2025)

Towards Conscious Service Robots
by: Behnke, Sven
Published: (2025)

A Comparison of Prompt Engineering Techniques for Task Planning and Execution in Service Robotics
by: Bode, Jonas, et al.
Published: (2024)

IFPV: An Integrated Multi-Agent Framework for Generative Operational Planning and High-Fidelity Plan Verification
by: Huang, Zhigao, et al.
Published: (2026)

Scaling Laws of Motion Forecasting and Planning -- Technical Report
by: Baniodeh, Mustafa, et al.
Published: (2025)

Guided Reasoning: A Non-Technical Introduction
by: Betz, Gregor
Published: (2024)

Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
by: Cornelio, Cristina, et al.
Published: (2025)

Meta-Computing Enhanced Federated Learning in IIoT: Satisfaction-Aware Incentive Scheme via DRL-Based Stackelberg Game
by: Li, Xiaohuan, et al.
Published: (2025)

Imitation Learning of Correlated Policies in Stackelberg Games
by: Wang, Kuang-Da, et al.
Published: (2025)

Xmodel-2 Technical Report
by: Qun, Wang, et al.
Published: (2024)

GenesisGeo: Technical Report
by: Zhu, Minfeng, et al.
Published: (2025)

AIA Forecaster: Technical Report
by: Alur, Rohan, et al.
Published: (2025)

Hermes 4 Technical Report
by: Teknium, Ryan, et al.
Published: (2025)

Meta Operator for Complex Query Answering on Knowledge Graphs
by: Yin, Hang, et al.
Published: (2024)

ARC Prize 2024: Technical Report
by: Chollet, Francois, et al.
Published: (2024)

EPT-1.5 Technical Report
by: Molinaro, Roberto, et al.
Published: (2024)

ARC Prize 2025: Technical Report
by: Chollet, François, et al.
Published: (2026)

Logics-Parsing-Omni Technical Report
by: An, Xin, et al.
Published: (2026)

Mind DeepResearch Technical Report
by: MindDR Team, et al.
Published: (2026)

Grasp Anything: Combining Teacher-Augmented Policy Gradient Learning with Instance Segmentation to Grasp Arbitrary Objects
by: Mosbach, Malte, et al.
Published: (2024)

Prompt-responsive Object Retrieval with Memory-augmented Student-Teacher Learning
by: Mosbach, Malte, et al.
Published: (2025)

Dream-MPC: Gradient-Based Model Predictive Control with Latent Imagination
by: Spieler, Jonathan, et al.
Published: (2026)

MOSS-Audio Technical Report
by: Yang, Chen, et al.
Published: (2026)

Incompleteness of AI Safety Verification via Kolmogorov Complexity
by: Hasan, Munawar
Published: (2026)

SPRIG: Stackelberg Perception-Reinforcement Learning with Internal Game Dynamics
by: Martinez-Lopez, Fernando, et al.
Published: (2025)

The Stackelberg Speaker: Optimizing Persuasive Communication in Social Deduction Games
by: Zheng, Zhang, et al.
Published: (2025)

Plan Verification for LLM-Based Embodied Task Completion Agents
by: Hariharan, Ananth, et al.
Published: (2025)

Evidence Over Plans: Online Trajectory Verification for Skill Distillation
by: Zhou, Yang, et al.
Published: (2026)

Compass-Thinker-7B Technical Report
by: Zeng, Anxiang, et al.
Published: (2025)

Erkang-Diagnosis-1.1 Technical Report
by: Ma, Jianbing, et al.
Published: (2025)

MedGemma 1.5 Technical Report
by: Sellergren, Andrew, et al.
Published: (2026)

Linear Equations with Min and Max Operators: Computational Complexity
by: Chatterjee, Krishnendu, et al.
Published: (2024)

HoloMotion-1 Technical Report
by: Chen, Maiyue, et al.
Published: (2026)

Xmodel-LM Technical Report
by: Wang, Yichuan, et al.
Published: (2024)

Phi-4 Technical Report
by: Abdin, Marah, et al.
Published: (2024)

Qwen2 Technical Report
by: Yang, An, et al.
Published: (2024)

Sabiá-3 Technical Report
by: Abonizio, Hugo, et al.
Published: (2024)

Tele-FLM Technical Report
by: Li, Xiang, et al.
Published: (2024)