Temporal Logic Planning
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
arXiv:2602.17434v2 Announce Type: replace Abstract: Multi-agent planning under Signal Temporal Logic (STL) is often hindered by collaborative tasks that lead to computational challenges due to the inherent high dimensionality of the problem, preventing scalable synthesis with satisfaction guarantees. To address this, we formulate STL planning as an optimization program under multi-agent STL constraints and introduce a penalty-based unconstrained relaxation that can be efficiently solved via...
Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
Announce Type: replace Abstract: We consider multi-robot systems under recurring tasks formalized as linear temporal logic (LTL) specifications. To solve the planning problem efficiently, we propose a bottom-up approach combining offline plan synthesis with online coordination, dynamically adjusting plans via real-time communication. To address action delays, we introduce a synchronization mechanism ensuring coordinated task execution, leading to a multi-agent coordination and...
A Sheaf Framework for Strategic Multi-Agent Systems: From Consensus to Nash Equilibria
arXiv:2606.01663v1 Announce Type: new Abstract: The coordination of heterogeneous autonomous agents in dynamic, adversarial environments requires simultaneous satisfaction of geometric constraints, logical consistency, temporal reasoning, and strategic optimization. Existing sheaf- and topos-theoretic frameworks provide powerful tools for geometric consensus, knowledge alignment, and causal planning, but lack explicit models for value, reward, and strategic choice. This report presents a...
Science reveals people are capable of multitasking — it just requires practice
Your brain is capable of learning to multitask without your realizing it, according to a new study. It has long been thought that using your brain to work simultaneously on multiple things was impossible. That’s because problem-solving, logical planning and abstract thinking are all carried out by a key region of the brain known as the prefrontal cortex, which is notoriously inflexible.
VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
arXiv:2606.05395v1 Announce Type: new Abstract: Reusable robot skills are becoming the basic units through which embodied agents turn open-ended instructions into long-horizon physical behavior. We argue that, while foundation models have collapsed the cost of creating these skills, the cost of trusting them has not. Existing skill-evolution loops refine skills through execution feedback, unit tests, environment reward, or LLM self-critique, but these signals provide only trace-level...
VLMs are Good Teachers for Video Reasoning via Adaptive Test-Time Optimization
new Abstract: The recent "Reasoning with Video" paradigm utilizes Video Generation Models (VGMs) to generate temporally coherent visual trajectories to complete reasoning tasks. Although state-of-the-art VGMs excel at visual quality, they often struggle to understand and follow task-specific rules, leading to logical failures across diverse reasoning scenarios. Existing efforts try to utilize Vision-Language Models (VLMs) as problem pre-solvers to produce or refine textual guidance for the VGM.