{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7T6KKB7SL2XH334IYRAGYVJY2F","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f19867b871a2958cf49469f0837493e5829ae8cd99d4c27e19da931bf6500874","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-24T12:28:04Z","title_canon_sha256":"3eb30b0107885b3d598bed4a93079d8d3263fc3f28ea6b32ee15e819318af5d4"},"schema_version":"1.0","source":{"id":"1803.09099","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.09099","created_at":"2026-05-18T00:20:12Z"},{"alias_kind":"arxiv_version","alias_value":"1803.09099v1","created_at":"2026-05-18T00:20:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.09099","created_at":"2026-05-18T00:20:12Z"},{"alias_kind":"pith_short_12","alias_value":"7T6KKB7SL2XH","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7T6KKB7SL2XH334I","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7T6KKB7S","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:9d86cfce776da2214f40c876d90c98a10b459ff24c1e724b03eadd0278ea5761","target":"graph","created_at":"2026-05-18T00:20:12Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Designers of autonomous agents, whether in physical or virtual environments, need to express nondeterminisim, failure, and parallelism in behaviors, as well as accounting for synchronous coordination between agents. Behavior Trees are a semi-formalism deployed widely for this purpose in the games industry, but with challenges to scalability, reasoning, and reuse of common sub-behaviors.\n  We present an alternative formulation of behavior trees through a language design perspective, giving a formal operational semantics, type system, and corresponding implementation. We express specifications f","authors_text":"Chris Martens, Eric Butler, Joseph C. Osborn","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-24T12:28:04Z","title":"A Resourceful Reframing of Behavior Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.09099","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c443911a7b539de525c707127c34b8047ee75cb8fd0e64abb2befb45f865dee6","target":"record","created_at":"2026-05-18T00:20:12Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f19867b871a2958cf49469f0837493e5829ae8cd99d4c27e19da931bf6500874","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-24T12:28:04Z","title_canon_sha256":"3eb30b0107885b3d598bed4a93079d8d3263fc3f28ea6b32ee15e819318af5d4"},"schema_version":"1.0","source":{"id":"1803.09099","kind":"arxiv","version":1}},"canonical_sha256":"fcfca507f25eae7def88c4406c5538d14255390d3ebee53aba25c40f9683621b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fcfca507f25eae7def88c4406c5538d14255390d3ebee53aba25c40f9683621b","first_computed_at":"2026-05-18T00:20:12.612413Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:12.612413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/c7n9bFokJk+J8KVbBO/Xal/gt4L/yXcf3XurMmoFyY76Pz/tG8mEu3vBFVeb7VaC0Cwj2gJfggv2ZfrdfyKCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:12.612986Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.09099","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c443911a7b539de525c707127c34b8047ee75cb8fd0e64abb2befb45f865dee6","sha256:9d86cfce776da2214f40c876d90c98a10b459ff24c1e724b03eadd0278ea5761"],"state_sha256":"8af2e88bf3269e885c27306978c11807dd09deffcf7f8e168c24104ea89a5ecc"}