pith. machine review for the scientific record.
sign in
Pith Number

pith:G33KKODI

pith:2018:G33KKODIGCIUOC3ZUGJIPLY2D4
not attested not anchored not stored refs pending

Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety

BaekGyu Kim (Toyota InfoTechnology Center, Berkeley), Eric S. Kim (University of California, Murat Arcak (University of California, Sanjit A. Seshia (University of California, Shinichi Shiraishi (Toyota InfoTechnology Center, U.S.A.)

arxiv:1804.04345 v1 · 2018-04-12 · cs.SY · cs.MA

Record completeness

1 Bitcoin timestamp
2 Internet Archive
3 Author claim open · sign in to claim
4 Citations open
5 Replications open
Portable graph bundle live · download bundle · merged state
The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.
Receipt and verification
First computed 2026-05-18T00:18:39.819395Z
Builder pith-number-builder-2026-05-17-v1
Signature Pith Ed25519 (pith-v1-2026-05) · public key
Schema pith-number/v1.0

Canonical hash

36f6a538683091470b79a19287af1a1f0860225418836dab77dea2f131155e20

Aliases

arxiv: 1804.04345 · arxiv_version: 1804.04345v1 · doi: 10.48550/arxiv.1804.04345 · pith_short_12: G33KKODIGCIU · pith_short_16: G33KKODIGCIUOC3Z · pith_short_8: G33KKODI
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/G33KKODIGCIUOC3ZUGJIPLY2D4 \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 36f6a538683091470b79a19287af1a1f0860225418836dab77dea2f131155e20
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "ac2802d836716b328489b1ea81c3fb67bf038ec2dca214224cc771dbaa4dc10c",
    "cross_cats_sorted": [
      "cs.MA"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.SY",
    "submitted_at": "2018-04-12T06:52:22Z",
    "title_canon_sha256": "17011b2444fd1b0c379d54f8dc657d36fd932bc11f28d435bf8f0cce3f69f6b6"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1804.04345",
    "kind": "arxiv",
    "version": 1
  }
}