{"type":"ScholarlyArticle","title":"Centralized and Distributed Approaches for Restoring the Weak Controllability of Multi-Agent Interdependent STNUs","authors":[{"name":"Ajdin Sumic","slug":"ajdin-sumic","given":"Ajdin","family":"Sumic","affiliation":""},{"name":"Gauthier Picard","slug":"gauthier-picard","given":"Gauthier","family":"Picard","affiliation":""},{"name":"Roberto Posenato","slug":"roberto-posenato","given":"Roberto","family":"Posenato","affiliation":""},{"name":"Thierry Vidal","slug":"thierry-vidal","given":"Thierry","family":"Vidal","affiliation":""},{"name":"Carlo Combi","slug":"carlo-combi","given":"Carlo","family":"Combi","affiliation":""},{"name":"Frédéric Maris","slug":"frederic-maris","given":"Frédéric","family":"Maris","affiliation":""}],"abstract":"Temporal planning and scheduling often rely on constraint models to reason about activity durations. Simple Temporal Networks with Uncertainty (STNUs) address cases where some contingent durations are outside the control of the executing agent. The Multiple Interdependent STNU (MISTNU) model extends this setting to multi-agent systems by representing shared activities whose duration is decided by one agent and imposed on others. While controllability properties for MISTNUs have been defined, existing repair methods rely on a centralized SMT-based brute-force approach. This paper introduces a linear-constraint characterization of all negative cycles responsible for uncontrollability. Based on this formulation, we propose both a more efficient centralized linear-programming repair method and a distributed constraint reasoning approach that treats inconsistent cycles as inter-agent constraints. We experimentally compare several Distributed Constraint Optimization Problem (DCOP) solvers against the centralized baseline in terms of efficiency and repair quality.","doi":"10.24963/ijcai.2026/43","url":"https://ijcai.org/proceedings/2026/43","pdf":"https://ijcai.org/proceedings/2026/0043.pdf","markdown":"https://ijcai.org/proceedings/2026/43.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/43","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Agent-based and Multi-agent Systems","track":"Main Track","number":43,"pages":{"first":374,"last":382},"keywords":["Agent-based and Multi-agent Systems: Multi-agent planning","Planning and Scheduling: Distributed and multi-agent planning","Planning and Scheduling: Planning under uncertainty"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}