Saved in:
| Main Authors: | Blando, Stefano, Fagiolo, Giorgio, Giachini, Daniele, Vandin, Andrea, Ivanaj, Ernest |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| 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)
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)
by: Blando, Stefano, et al.
Published: (2026)
On learning intentionally
by: Henry Soldano
Published: (2005)
by: Henry Soldano
Published: (2005)
Comparing State-Representations for DEL Model Checking
by: Behnke, Gregor, et al.
Published: (2025)
by: Behnke, Gregor, et al.
Published: (2025)
Edge AI Collaborative Learning: Bayesian Approaches to Uncertainty Estimation
by: Radchenko, Gleb, et al.
Published: (2024)
by: Radchenko, Gleb, et al.
Published: (2024)
Relating DeLP and Default Logic
by: Telma Delladio
Published: (2007)
by: Telma Delladio
Published: (2007)
A Generative Model of Conspicuous Consumption and Status Signaling
by: Cross, Logan, et al.
Published: (2026)
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)
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)
by: Galimullin, Rustam, et al.
Published: (2025)
Communication Modalities
by: Kuznets, Roman
Published: (2024)
by: Kuznets, Roman
Published: (2024)
Verification of Population Protocols with Unordered Data
by: van Bergerem, Steffen, et al.
Published: (2024)
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)
by: Scott, Matthew, et al.
Published: (2024)
MiCRO for Multilateral Negotiations
by: Aguilera-Luzon, David, et al.
Published: (2025)
by: Aguilera-Luzon, David, et al.
Published: (2025)
Adaptive Episode Length Adjustment for Multi-agent Reinforcement Learning
by: Yoo, Byunghyun, et al.
Published: (2025)
by: Yoo, Byunghyun, et al.
Published: (2025)
Autonomous System Safety Properties with Multi-Machine Hybrid Event-B
by: Banach, Richard
Published: (2024)
by: Banach, Richard
Published: (2024)
Designing Intelligent Enterprise Agents: A Capability-Aligned Multi-Agent Architecture
by: deVadoss, John
Published: (2026)
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)
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)
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)
by: Parakhin, Vladyslav
Published: (2026)
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
by: Ferrando, Angelo, et al.
Published: (2024)
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)
by: Affinita, Daniele, et al.
Published: (2024)
Emergent Coordination in Multi-Agent Language Models
by: Riedl, Christoph
Published: (2025)
by: Riedl, Christoph
Published: (2025)
DeepFleet: Multi-Agent Foundation Models for Mobile Robots
by: Agaskar, Ameya, et al.
Published: (2025)
by: Agaskar, Ameya, et al.
Published: (2025)
Multi-Agent Reinforcement Learning with Selective State-Space Models
by: Daniel, Jemma, et al.
Published: (2024)
by: Daniel, Jemma, et al.
Published: (2024)
What the adoption problem does not show
by: Camillo Fiore
Published: (2022)
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)
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)
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)
by: Esterhuyse, Christopher A., et al.
Published: (2025)
Dual-Gated Epistemic Time-Dilation: Autonomous Compute Modulation in Asynchronous MARL
by: Jankowski, Igor
Published: (2026)
by: Jankowski, Igor
Published: (2026)
Cooperative Task Execution in Multi-Agent Systems
by: Karishma, et al.
Published: (2024)
by: Karishma, et al.
Published: (2024)
Accelerating Earth Science Discovery via Multi-Agent LLM Systems
by: Pantiukhin, Dmitrii, et al.
Published: (2025)
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)
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)
by: Pu, Hongji, et al.
Published: (2026)
QRAFTI: An Agentic Framework for Empirical Research in Quantitative Finance
by: Lim, Terence, et al.
Published: (2026)
by: Lim, Terence, et al.
Published: (2026)
Preserving Disagreement: Architectural Heterogeneity and Coherence Validation in Multi-Agent Policy Simulation
by: Sela, Ariel
Published: (2026)
by: Sela, Ariel
Published: (2026)
Multi-Agent Empowerment and Emergence of Complex Behavior in Groups
by: Shah, Tristan, et al.
Published: (2026)
by: Shah, Tristan, et al.
Published: (2026)
Semantics and Spatiality of Emergent Communication
by: Zion, Rotem Ben, et al.
Published: (2024)
by: Zion, Rotem Ben, et al.
Published: (2024)
Space-Fluid Adaptive Sampling by Self-Organisation
by: Casadei, Roberto, et al.
Published: (2022)
by: Casadei, Roberto, et al.
Published: (2022)
Modelling Real-time Systems with Bigraphs
by: Albalwe, Maram, et al.
Published: (2025)
by: Albalwe, Maram, et al.
Published: (2025)
A Model Checker for Natural Strategic Ability
by: Aruta, Marco, et al.
Published: (2024)
by: Aruta, Marco, et al.
Published: (2024)
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)