Tootfinder

Die Verhandlungen über ein globales Abkommen gegen #Plastikverschmutzung sind erneut gescheitert.
Während über 100 Staaten Maßnahmen zur Reduktion der #Plastikproduktion fordern, setzen Öl-produzierende Länder weiter auf

Global plastic talks collapse as countries remain deeply divided
The latest round of UN-led talks have ended in deadlock, with disputes over plastic production and recycling.

LF: Online Multi-Robot Path Planning Meets Optimal Trajectory Control
Ajay Shankar, Keisuke Okumura, Amanda Prorok
https://arxiv.org/abs/2507.11464 https:/…

LF: Online Multi-Robot Path Planning Meets Optimal Trajectory Control
We propose a multi-robot control paradigm to solve point-to-point navigation tasks for a team of holonomic robots with access to the full environment information. The framework invokes two processes asynchronously at high frequency: (i) a centralized, discrete, and full-horizon planner for computing collision- and deadlock-free paths rapidly, leveraging recent advances in multi-agent pathfinding (MAPF), and (ii) dynamics-aware, robot-wise optimal trajectory controllers that ensure all robots in…

"Three reasons plastic pollution treaty talks ended in disagreement and deadlock (but not collapse)"
#Plastic #Plastics

Three reasons plastic pollution treaty talks ended in disagreement and deadlock (but not collapse)
Global plastics treaty talks in Geneva have ended without agreement after more than three years of negotiations.

Deadlock-free Context-free Session Types
Andreia Mordido, Jorge A. P\'erez
https://arxiv.org/abs/2506.20356 https://arxiv.org/pdf…

Deadlock-free Context-free Session Types
We consider the problem of statically ensuring that message-passing programs never run into deadlocks. We focus on concurrent functional programs governed by context-free session types, which can express rich tree-like structures not expressible in standard session types. Existing techniques based on context-free session types enforce protocol conformance but not deadlock freedom. We propose a type system that enhances context-free session types with a priority-based approach to deadlock freedo…

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
Rados{\l}aw Jan Rowicki, Adrian Francalanza, Alceste Scalas
https://arxiv.org/abs/2508.14851

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
Many software applications rely on concurrent and distributed (micro)services that interact via message-passing and various forms of remote procedure calls (RPC). As these systems organically evolve and grow in scale and complexity, the risk of introducing deadlocks increases and their impact may worsen: even if only a few services deadlock, many other services may block while awaiting responses from the deadlocked ones. As a result, the "core" of the deadlock can be obfuscated by its consequen…

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems
Mingfei Cheng, Renzhi Wang, Xiaofei Xie, Yuan Zhou, Lei Ma
https://arxiv.org/abs/2506.23995

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems
Autonomous Driving System (ADS) testing is essential to ensure the safety and reliability of autonomous vehicles (AVs) before deployment. However, existing techniques primarily focus on evaluating ADS functionalities in single-AV settings. As ADSs are increasingly deployed in multi-AV traffic, it becomes crucial to assess their cooperative performance, particularly regarding deadlocks, a fundamental coordination failure in which multiple AVs enter a circular waiting state indefinitely, resultin…

Petri Net Modeling and Deadlock-Free Scheduling of Attachable Heterogeneous AGV Systems
Boyu Li, Zhengchen Li, Weimin Wu, Mengchu Zhou
https://arxiv.org/abs/2508.00724 https://

Petri Net Modeling and Deadlock-Free Scheduling of Attachable Heterogeneous AGV Systems
The increasing demand for automation and flexibility drives the widespread adoption of heterogeneous automated guided vehicles (AGVs). This work intends to investigate a new scheduling problem in a material transportation system consisting of attachable heterogeneous AGVs, namely carriers and shuttles. They can flexibly attach to and detach from each other to cooperatively execute complex transportation tasks. While such collaboration enhances operational efficiency, the attachment-induced sync…

Brook-2PL: Tolerating High Contention Workloads with A Deadlock-Free Two-Phase Locking Protocol
Farzad Habibi, Juncheng Fang, Tania Lorido-Botran, Faisal Nawab
https://arxiv.org/abs/2508.18576

Brook-2PL: Tolerating High Contention Workloads with A Deadlock-Free Two-Phase Locking Protocol
The problem of hotspots remains a critical challenge in high-contention workloads for concurrency control (CC) protocols. Traditional concurrency control approaches encounter significant difficulties under high contention, resulting in excessive transaction aborts and deadlocks. In this paper, we propose Brook-2PL, a novel two-phase locking (2PL) protocol that (1) introduces SLW-Graph for deadlock-free transaction execution, and (2) proposes partial transaction chopping for early lock release. …

Replaced article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (...
Rados{\l}aw Jan Rowicki, Adrian Francalanza, Alceste Scalas

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (...
Rados{\l}aw Jan Rowicki, Adrian Francalanza, Alceste Scalas

TRUST-Planner: Topology-guided Robust Trajectory Planner for AAVs with Uncertain Obstacle Spatial-temporal Avoidance
Junzhi Li, Teng Long, Jingliang Sun, Jianxin Zhong
https://arxiv.org/abs/2508.14610 …

TRUST-Planner: Topology-guided Robust Trajectory Planner for AAVs with Uncertain Obstacle Spatial-temporal Avoidance
Despite extensive developments in motion planning of autonomous aerial vehicles (AAVs), existing frameworks faces the challenges of local minima and deadlock in complex dynamic environments, leading to increased collision risks. To address these challenges, we present TRUST-Planner, a topology-guided hierarchical planning framework for robust spatial-temporal obstacle avoidance. In the frontend, a dynamic enhanced visible probabilistic roadmap (DEV-PRM) is proposed to rapidly explore topologica…