Cover Image

JustAct+: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Esterhuyse, Christopher A., Müller, Tim, van Binsbergen, L. Thomas
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Distributed, Parallel, and Cluster Computing Multiagent Systems Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Decoupling Correctness from Policy: A Deterministic Causal Structure for Multi-Agent Systems
by: Ren, Zhiyuan, et al.
Published: (2025)

When Agents Control Robots: A Zero Trust Policy Model for Agentic Cyber-Physical Systems
by: Ranathunga, Tharindu, et al.
Published: (2026)

Distributed Set-membership Filtering Frameworks For Multi-agent Systems With Absolute and Relative Measurements
by: Ding, Yu, et al.
Published: (2023)

Agentic Fog: A Policy-driven Framework for Distributed Intelligence in Fog Computing
by: Akbar, Saeed, et al.
Published: (2026)

HEnRY: A Multi-Agent System Framework for Multi-Domain Contexts
by: Lacavalla, Emmanuele, et al.
Published: (2024)

KVFlow: Efficient Prefix Caching for Accelerating LLM-Based Multi-Agent Workflows
by: Pan, Zaifeng, et al.
Published: (2025)

Towards Blockchain-based Multi-Agent Robotic Systems: Analysis, Classification and Applications
by: Afanasyev, Ilya, et al.
Published: (2019)

Aegis: Taxonomy and Optimizations for Overcoming Agent-Environment Failures in LLM Agents
by: Song, Kevin, et al.
Published: (2025)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
by: Shapiro, Ehud
Published: (2026)

Empowering Scientific Workflows with Federated Agents
by: Kamatar, Alok, et al.
Published: (2025)

On the Limits of Information Spread by Memory-less Agents
by: D'Archivio, Niccolò, et al.
Published: (2024)

Near-linear Time Dispersion of Mobile Agents
by: Sudo, Yuichi, et al.
Published: (2023)

UFO3: Weaving the Digital Agent Galaxy
by: Zhang, Chaoyun, et al.
Published: (2025)

Distributed Butterfly Analysis using Mobile Agents
by: Chand, Prabhat Kumar, et al.
Published: (2025)

Learning Decentralized LLM Collaboration with Multi-Agent Actor Critic
by: Liu, Shuo, et al.
Published: (2026)

Computing Tree Structures in Anonymous Graphs via Mobile Agents
by: Chand, Prabhat Kumar, et al.
Published: (2025)

DynTaskMAS: A Dynamic Task Graph-driven Framework for Asynchronous and Parallel LLM-based Multi-Agent Systems
by: Yu, Junwei, et al.
Published: (2025)

Agent-Based Triangle Counting: Unlocking Truss Decomposition, Triangle Centrality, and Local Clustering Coefficient
by: Chand, Prabhat Kumar, et al.
Published: (2024)

A Framework for Hybrid Collective Inference in Distributed Sensor Networks
by: Nash, Andrew, et al.
Published: (2026)

Optimizing PyTorch Inference with LLM-Based Multi-Agent Systems
by: Nagaitsev, Kirill, et al.
Published: (2025)

Ledger-State Stigmergy: A Formal Framework for Indirect Coordination Grounded in Distributed Ledger State
by: García, Fernando Paredes
Published: (2026)

A Sheaf Framework for Strategic Multi-Agent Systems: From Consensus to Nash Equilibria
by: Hernández, Manuel, et al.
Published: (2026)

Just Verification of Mutual Exclusion Algorithms
by: van Glabbeek, Rob, et al.
Published: (2025)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
by: Shapiro, Ehud
Published: (2025)

A biologically Inspired Trust Model for Open Multi-Agent Systems that is Resilient to Rapid Performance Fluctuations
by: Lygizou, Zoi, et al.
Published: (2025)

Multi-Agent eXperimenter (MAX)
by: Gürcan, Önder
Published: (2024)

Usable Agent Discovery for Decentralized AI Systems
by: Dazzi, Patrizio, et al.
Published: (2026)

PBFT-Backed Semantic Voting for Multi-Agent Memory Pruning
by: Bach, Duong
Published: (2025)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
by: Brandt, Sebastian, et al.
Published: (2022)

Multi-Agent Bandit Learning through Heterogeneous Action Erasure Channels
by: Hanna, Osama A., et al.
Published: (2023)

Impure Simplicial Complexes: Complete Axiomatization
by: Randrianomentsoa, Rojo, et al.
Published: (2022)

When Computing follows Vehicles: Decentralized Mobility-Aware Resource Allocation for Edge-to-Cloud Continuum
by: Nezami, Zeinab, et al.
Published: (2024)

Software-Defined Agentic Serving
by: Agarwal, Saurabh, et al.
Published: (2026)

DejaVu: A Minimalistic Mechanism for Distributed Plurality Consensus
by: d'Amore, Francesco, et al.
Published: (2026)

Perpetual exploration in anonymous synchronous networks with a Byzantine black hole
by: Bhattacharya, Adri, et al.
Published: (2025)

Acceleration of Gossip Algorithms through the Euler-Poisson-Darboux Equation
by: Berthier, Raphaël, et al.
Published: (2022)

Nalar: An agent serving framework
by: Laju, Marco, et al.
Published: (2026)

On the $h$-majority dynamics with many opinions
by: d'Amore, Francesco, et al.
Published: (2025)