cs.MA · 2026-06-30 · No. 39

Multiagent Systems, 2026-06-30.

2 new papers in cs.MA. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

2 entries
  1. 01

    Translating Natural Language to Strategic Temporal Specifications via LLMs

    Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano, Vladana Perlic

    cs.MA · cs.AI

    A rigorous formalization of system requirements is a fundamental prerequisite for the verification of Multi-Agent Systems (MAS). However, writing correct formal specifications is well known as an error-prone, time-consuming, and expertise-intensive task. This difficulty is further accentuated in MAS, where requirements must capture strategic abilities and temporal objectives. At present, there is no established methodology for deriving MAS...

    arxiv.org/abs/2606.30441 · PDF

  2. 02

    Always-OnAgents:A Survey of Persistent Memory, State, and Governance in LLMAgents

    Tianyu Ding, Aditya Nannapaneni, Bingfan Liu, Ling Zhang

    cs.MA · cs.AI

    Always-on agents are systems whose future behavior depends on durable state accumulated across earlier interactions. We treat them as persistent-state systems: the operative system includes retrievable memories, but also task ledgers, permissions, credentials, commitments, provenance and audit records, shared state, trigger conditions, and externally committed effects linked to those records. The survey reads the literature through six...

    arxiv.org/abs/2606.30306 · PDF

This edition is part of The Daily Abstract — cs.MA archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.