:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Blando, Stefano, Fagiolo, Giorgio, Giachini, Daniele, Vandin, Andrea, Ivanaj, Ernest
Format:	Preprint
Published:	2026
Subjects:	Multiagent Systems Logic in Computer Science F.3.1 [Specifying and Verifying and Reasoning about Programs]; I.2.11 [Distributed Artificial Intelligence]: Multiagent systems
Online Access:	https://arxiv.org/abs/2604.04543
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Statistical Model Checking of NetLogo Models
by: Pangallo, Marco, et al.
Published: (2025)

Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
by: Blando, Stefano, et al.
Published: (2026)

On learning intentionally
by: Henry Soldano
Published: (2005)

Comparing State-Representations for DEL Model Checking
by: Behnke, Gregor, et al.
Published: (2025)

Edge AI Collaborative Learning: Bayesian Approaches to Uncertainty Estimation
by: Radchenko, Gleb, et al.
Published: (2024)

Relating DeLP and Default Logic
by: Telma Delladio
Published: (2007)

A Generative Model of Conspicuous Consumption and Status Signaling
by: Cross, Logan, et al.
Published: (2026)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
by: Gurov, Dilian, et al.
Published: (2024)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
by: Galimullin, Rustam, et al.
Published: (2025)

Communication Modalities
by: Kuznets, Roman
Published: (2024)

Verification of Population Protocols with Unordered Data
by: van Bergerem, Steffen, et al.
Published: (2024)

Social Deliberation vs. Social Contracts in Self-Governing Voluntary Organisations
by: Scott, Matthew, et al.
Published: (2024)

MiCRO for Multilateral Negotiations
by: Aguilera-Luzon, David, et al.
Published: (2025)

Adaptive Episode Length Adjustment for Multi-agent Reinforcement Learning
by: Yoo, Byunghyun, et al.
Published: (2025)

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B
by: Banach, Richard
Published: (2024)

Designing Intelligent Enterprise Agents: A Capability-Aligned Multi-Agent Architecture
by: deVadoss, John
Published: (2026)

Aethon: A Reference-Based Replication Primitive for Constant-Time Instantiation of Stateful AI Agents
by: Rao, Swanand, et al.
Published: (2026)

Adaptive GPU Resource Allocation for Multi-Agent Collaborative Reasoning in Serverless Environments
by: Zhang, Guilin, et al.
Published: (2025)

The Bureaucracy of Speed: Structural Equivalence Between Memory Consistency Models and Multi-Agent Authorization Revocation
by: Parakhin, Vladyslav
Published: (2026)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
by: Ferrando, Angelo, et al.
Published: (2024)

Multi-Agent Coordination for a Partially Observable and Dynamic Robot Soccer Environment with Limited Communication
by: Affinita, Daniele, et al.
Published: (2024)

Emergent Coordination in Multi-Agent Language Models
by: Riedl, Christoph
Published: (2025)

DeepFleet: Multi-Agent Foundation Models for Mobile Robots
by: Agaskar, Ameya, et al.
Published: (2025)

Multi-Agent Reinforcement Learning with Selective State-Space Models
by: Daniel, Jemma, et al.
Published: (2024)

What the adoption problem does not show
by: Camillo Fiore
Published: (2022)

Agent Skills for Large Language Models: Architecture, Acquisition, Security, and the Path Forward
by: Xu, Renjun, et al.
Published: (2026)

A Micro-Macro Model of Encounter-Driven Information Diffusion in Robot Swarms
by: Catherman, Davis S., et al.
Published: (2026)

JustAct+: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
by: Esterhuyse, Christopher A., et al.
Published: (2025)

Dual-Gated Epistemic Time-Dilation: Autonomous Compute Modulation in Asynchronous MARL
by: Jankowski, Igor
Published: (2026)

Cooperative Task Execution in Multi-Agent Systems
by: Karishma, et al.
Published: (2024)

Accelerating Earth Science Discovery via Multi-Agent LLM Systems
by: Pantiukhin, Dmitrii, et al.
Published: (2025)

Optimal Task Assignment and Path Planning using Conflict-Based Search with Precedence and Temporal Constraints
by: Chong, Yu Quan, et al.
Published: (2024)

SkillOps: Managing LLM Agent Skill Libraries as Self-Maintaining Software Ecosystems
by: Pu, Hongji, et al.
Published: (2026)

QRAFTI: An Agentic Framework for Empirical Research in Quantitative Finance
by: Lim, Terence, et al.
Published: (2026)

Preserving Disagreement: Architectural Heterogeneity and Coherence Validation in Multi-Agent Policy Simulation
by: Sela, Ariel
Published: (2026)

Multi-Agent Empowerment and Emergence of Complex Behavior in Groups
by: Shah, Tristan, et al.
Published: (2026)

Semantics and Spatiality of Emergent Communication
by: Zion, Rotem Ben, et al.
Published: (2024)

Space-Fluid Adaptive Sampling by Self-Organisation
by: Casadei, Roberto, et al.
Published: (2022)

Modelling Real-time Systems with Bigraphs
by: Albalwe, Maram, et al.
Published: (2025)

A Model Checker for Natural Strategic Ability
by: Aruta, Marco, et al.
Published: (2024)