16 papers · ranked by Valyu relevance
Shahil Shaik, Jonathon M. Smereka, Yue Wang
Centralized training with decentralized execution (CTDE) has been the dominant paradigm in multi-agent reinforcement learning (MARL), but its reliance on global state information during training introduces scalability, robustness, and generalization bottlenecks. Moreover, in practical scenarios such as adding/dropping…
Cole, David L., Jalving, Jordan + 4 more
1 Andlinger Center for Energy and Environment Princeton University, Princeton, NJ 08540, USA 2 Artificial Intelligence and Modeling Simulation Atomic Machines Inc., Emeryville, CA 94608, USA 3 Department of Computer Science Princeton University, Princeton, NJ 08540, USA 4 Department of Mechanical and Aerospace…
Zhengqing Liu, Alberto Sonnino, Igor Zablotchi, Eleftherios Kokoris Kogias + 1 more
Modern blockchains rely on a modular architecture that decouples consensus from execution. Recent advances in consensus algorithms have shifted the bottleneck to the execution layer, which must deterministically follow the consensus order and handle increasingly complex, compute-intensive smart contracts. We identify…
Yijie Zhou, Shi Pu
Decentralized optimization has emerged as a critical paradigm for distributed learning, enabling scalable training while preserving data privacy through peer-to-peer collaboration. However, existing methods often suffer from communication bottlenecks due to frequent synchronization between nodes. We present Overlapping…
Mikhail Nesterenko, Joseph Oglio
We present QUANTAS 2: a new distributed algorithm simulator and quantitative performance analysis tool. We use the original QUANTAS as a foundation. QUANTAS 2 can perform fast abstract exploration, concrete validation, and adversarial fault injection while preserving a compact implementation model for distributed…
Uday Gopan, Manjari Kulkarni, Lakshasri S, Kashish Mittal + 3 more
—DiRAC is a scalable, distributed framework designed to enable efficient task assignment and path planning in very large robotic swarms. It introduces a novel zonepartitioned architecture with dynamically elected leaders and a tick-synchronized consensus protocol that yields strong consistency and deterministic…
Benedikt Bollig, Matthias Függer, Thomas Nowak
Multi-agent systems built on large language models (LLMs) are difficult to reason about. Coordination errors such as deadlocks or type-mismatched messages are often hard to detect through testing. We introduce a domain-specific language for specifying agent coordination based on message sequence charts (MSCs). The…
Zhiyuan Ren, Tao Zhang, Wenchi Chen
—In distributed multi-agent systems, correctness is often entangled with operational policies such as scheduling, batching, or routing, which makes systems brittle since performancedriven policy evolution may break integrity guarantees. This paper introduces the Deterministic Causal Structure (DCS), a formal foundation…
Nandy, Barenya Kumar, Rupesh Nasre
—Relational data, occurring in the real world, are often structured as graphs, which provide the logical abstraction required to make analytical derivations simpler. As graphs get larger, the irregular access patterns exhibited in most graph algorithms, hamper performance. This, along with NUMA and physical memory…
Reid Anderson, Hassan Reza
The design of a system and its implementation are two tasks often carried out by different individuals on a development team, and can occur weeks or months apart. This creates a potential for divergence between real behavior and the designed model that an implementation is intended to match. Particularly as time passes…
Bin Du, Chang Liu, Dingqi Zhu, Lintao Ye + 1 more
We study distributed online submodular maximization under partition matroid constraints, in which multiple agents select a limited number of actions from their own subsets sequentially to maximize the cumulative value of a sequence of objective functions. We develop a unified algorithmic framework that accommodates…
Provakar Mondal, Eli Tilevich
—BACKGROUND: Modern distributed systems replicate data across multiple execution sites. Business requirements and resource constraints often necessitate mixing different languages across replica sites. To facilitate the management of replicated data, modern software engineering practices integrate special-purpose…
Siamak Abdi, Lucia Cavallaro, Giuseppe Di Fatta
Computing betweenness centrality on large networks is inherently expensive, as it requires aggregating shortest-path dependencies across all pairs of vertices and becomes increasingly difficult to scale as network size grows. Scalable distributed algorithms can facilitate such computations, particularly when…
Minyu Cheng, Jiakun Yan, Marc Snir
The bulk synchronous parallel (BSP) model struggles with irregular workloads due to rigid global communication. While fine-grained asynchronous BSP (FA-BSP) improves overlap, existing implementations typically rely on a limiting one-process-per-core model. This paper proposes a multithreaded FA-BSP approach combining…
Boyu Han, Xu Du, Karl H. Johansson, Apostolos I. Rikos
This paper addresses distributed consensus optimization problems with mixed-integer variables, with a specific focus on Boolean variables. We introduce a novel distributed algorithm that extends the Consensus Augmented Lagrangian Alternating Direction Inexact Newton (CALADIN) framework by incorporating specialized…
Minghui Ding, Evangelos Pournaras
Critical infrastructures are increasingly distributed, interdependent, and exposed to evolving disruptions, making resilience a central requirement for their operation and control. This paper argues that decentralized multi-agent reinforcement learning (MARL) should be understood not merely as a distributed alternative…