arXiv (All)
open access
Scenario MPC with STL Specifications and Pareto-Based Feasibility Repair
Temporal logic is a formal language for reasoning about system behaviors over time. Signal temporal logic (STL), in particular, has been used to encode spatio-temporal requirements for control synthesis in multi-agent systems, often under the assumption that agents are cooperative and their dynamics
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- A look back at strategy logic#1158457
- FromPitch2Board: Benchmarking LLM Agents in Long-Horizon Football Management#1128969
- Paton System — Cognitive Clarifications: Master Index (Series I–IV)#725651
- Team Reasoning, Framing and Self-Control: An Aristotelian Account#736956
- Logic of ER IV - Agency in an Ontologically Open World: A Formal Semantics of Branching Reality#692139
Record · ID 1049007
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive