{"schemaVersion":1,"kind":"project","documentationUrl":"https://decomphub.com/data","project":{"id":"aed51a21-538a-4739-81a0-f80e7ca0b0db","slug":"reimplementation-of-distributed-safe-control-design-and-probabilistic-safety-verification-for-mas","revision":2,"name":"Reimplementation-of-Distributed-safe-control-design-and-probabilistic-safety-verification-for-MAS-","description":"Reimplementation of the paper: \"Distributed safe control design and probabilistic safety verification for MAS\", specifically the first part.","url":"https://app.decomphub.com/projects/reimplementation-of-distributed-safe-control-design-and-probabilistic-safety-verification-for-mas","jsonUrl":"https://app.decomphub.com/data/projects/reimplementation-of-distributed-safe-control-design-and-probabilistic-safety-verification-for-mas.json","markdownUrl":"https://app.decomphub.com/data/projects/reimplementation-of-distributed-safe-control-design-and-probabilistic-safety-verification-for-mas.md","category":"games","workTypes":["source-reconstruction"],"targets":["Unknown"],"status":"unknown","publishedAt":"2026-10-12T08:12:29.804Z","updatedAt":"2026-10-12T08:12:29.804Z","repository":{"url":"https://github.com/crystallized2022/reimplementation-of-distributed-safe-control-design-and-probabilistic-safety-verification-for-mas-","host":"github.com","fullPath":"crystallized2022/reimplementation-of-distributed-safe-control-design-and-probabilistic-safety-verification-for-mas-","description":"Reimplementation of the paper: \"Distributed safe control design and probabilistic safety verification for MAS\", specifically the first part.","license":null,"starCount":0,"starsCheckedAt":"2026-10-10T02:00:01.806Z","upstreamArchived":false,"defaultBranch":null,"latestDefaultBranchCommitAt":null,"metadataCheckedAt":"2026-10-10T02:00:01.806Z"},"progress":[],"sources":[{"label":"Public repository metadata","url":"https://github.com/crystallized2022/reimplementation-of-distributed-safe-control-design-and-probabilistic-safety-verification-for-mas-"},{"label":"Discovery query","url":"https://api.github.com/search/repositories?q=%22reimplementation%22+in%3Aname%2Cdescription+is%3Apublic+fork%3Afalse+created%3A2025-10-25..2026-02-10&sort=updated&order=desc&per_page=100&page=5"}],"longDescription":"","aliases":[],"originalPlatforms":[],"outputPlatforms":[],"architectures":[],"languages":["MATLAB"],"tags":[],"links":{"website":null,"documentation":null,"releases":null,"buildInstructions":null,"repositories":[],"community":[],"support":[],"issues":[]},"contribution":{"status":"unknown","helpNeeded":[],"url":null,"sourceUrl":null,"checkedAt":null,"prerequisites":"","environments":[],"aiPolicy":"unspecified","aiPolicySourceUrl":null,"aiPolicyConditions":""},"originalAssetsNote":""}}