{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:TYCCRR245PCBB3LQLQIRKN6NBL","short_pith_number":"pith:TYCCRR24","canonical_record":{"source":{"id":"2508.19186","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T16:49:30Z","cross_cats_sorted":["cs.AI","cs.FL"],"title_canon_sha256":"47261c58af60d4172d8007c9554fde9fb1b0ee2e15b15a28b6426423e2d73feb","abstract_canon_sha256":"db8335b03b3c79e46322088411d592fd1ade991aa4d5219c75f98f74be4eb184"},"schema_version":"1.0"},"canonical_sha256":"9e0428c75cebc410ed705c111537cd0ace3a94270131b8355f08ea881c4378a1","source":{"kind":"arxiv","id":"2508.19186","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.19186","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"arxiv_version","alias_value":"2508.19186v1","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.19186","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"pith_short_12","alias_value":"TYCCRR245PCB","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"pith_short_16","alias_value":"TYCCRR245PCBB3LQ","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"pith_short_8","alias_value":"TYCCRR24","created_at":"2026-07-05T11:59:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:TYCCRR245PCBB3LQLQIRKN6NBL","target":"record","payload":{"canonical_record":{"source":{"id":"2508.19186","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T16:49:30Z","cross_cats_sorted":["cs.AI","cs.FL"],"title_canon_sha256":"47261c58af60d4172d8007c9554fde9fb1b0ee2e15b15a28b6426423e2d73feb","abstract_canon_sha256":"db8335b03b3c79e46322088411d592fd1ade991aa4d5219c75f98f74be4eb184"},"schema_version":"1.0"},"canonical_sha256":"9e0428c75cebc410ed705c111537cd0ace3a94270131b8355f08ea881c4378a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:59:39.346589Z","signature_b64":"j6XycwK+k2owxvtrHKJRw91SU8oOuhrv+RHQTRiW37xgo92X56EsmM8WQF0Yr9PmMAY8XU+2LMqAVafO/r3kBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e0428c75cebc410ed705c111537cd0ace3a94270131b8355f08ea881c4378a1","last_reissued_at":"2026-07-05T11:59:39.346115Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:59:39.346115Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.19186","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:59:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T6WeHhKPDdUjLwVhVnXp3Ho3MIZRKunRYPpv3oDCJGol+aY+Rh3+SE9qSCnbpeca0z3+z0ODEa1VRzdy7+HzBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T22:24:57.574018Z"},"content_sha256":"c5a4af4b0a712c48203effa7c7f46e5512257b6c641c4ab08aa2ad6042fec674","schema_version":"1.0","event_id":"sha256:c5a4af4b0a712c48203effa7c7f46e5512257b6c641c4ab08aa2ad6042fec674"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:TYCCRR245PCBB3LQLQIRKN6NBL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.FL"],"primary_cat":"cs.RO","authors_text":"Alice Miller, Bernd Porr, Christopher Chandler, Giulia Lafratta","submitted_at":"2025-08-26T16:49:30Z","abstract_excerpt":"We present a new application of model checking which achieves real-time multi-step planning and obstacle avoidance on a real autonomous robot. We have developed a small, purpose-built model checking algorithm which generates plans in situ based on \"core\" knowledge and attention as found in biological agents. This is achieved in real-time using no pre-computed data on a low-powered device. Our approach is based on chaining temporary control systems which are spawned to counteract disturbances in the local environment that disrupt an autonomous agent from its preferred action (or resting state)."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.19186","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.19186/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:59:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z0As/dpH3QulJvrBAwo6v/AcET3vaTFGhnXOi5ogBCTVcoNR4u4l9qRQ4AdiFXbNOqwRPM/bdtlBCzJpbi6XDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T22:24:57.574513Z"},"content_sha256":"4653ee0f5f2f61dd8f998b5e1af196f9db04ecd6c0fc275d00b589a8a3b55431","schema_version":"1.0","event_id":"sha256:4653ee0f5f2f61dd8f998b5e1af196f9db04ecd6c0fc275d00b589a8a3b55431"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL/bundle.json","state_url":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TYCCRR245PCBB3LQLQIRKN6NBL/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-20T22:24:57Z","links":{"resolver":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL","bundle":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL/bundle.json","state":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TYCCRR245PCBB3LQLQIRKN6NBL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:TYCCRR245PCBB3LQLQIRKN6NBL","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":"db8335b03b3c79e46322088411d592fd1ade991aa4d5219c75f98f74be4eb184","cross_cats_sorted":["cs.AI","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T16:49:30Z","title_canon_sha256":"47261c58af60d4172d8007c9554fde9fb1b0ee2e15b15a28b6426423e2d73feb"},"schema_version":"1.0","source":{"id":"2508.19186","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.19186","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"arxiv_version","alias_value":"2508.19186v1","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.19186","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"pith_short_12","alias_value":"TYCCRR245PCB","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"pith_short_16","alias_value":"TYCCRR245PCBB3LQ","created_at":"2026-07-05T11:59:39Z"},{"alias_kind":"pith_short_8","alias_value":"TYCCRR24","created_at":"2026-07-05T11:59:39Z"}],"graph_snapshots":[{"event_id":"sha256:4653ee0f5f2f61dd8f998b5e1af196f9db04ecd6c0fc275d00b589a8a3b55431","target":"graph","created_at":"2026-07-05T11:59:39Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2508.19186/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a new application of model checking which achieves real-time multi-step planning and obstacle avoidance on a real autonomous robot. We have developed a small, purpose-built model checking algorithm which generates plans in situ based on \"core\" knowledge and attention as found in biological agents. This is achieved in real-time using no pre-computed data on a low-powered device. Our approach is based on chaining temporary control systems which are spawned to counteract disturbances in the local environment that disrupt an autonomous agent from its preferred action (or resting state).","authors_text":"Alice Miller, Bernd Porr, Christopher Chandler, Giulia Lafratta","cross_cats":["cs.AI","cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.19186","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:c5a4af4b0a712c48203effa7c7f46e5512257b6c641c4ab08aa2ad6042fec674","target":"record","created_at":"2026-07-05T11:59:39Z","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":"db8335b03b3c79e46322088411d592fd1ade991aa4d5219c75f98f74be4eb184","cross_cats_sorted":["cs.AI","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-08-26T16:49:30Z","title_canon_sha256":"47261c58af60d4172d8007c9554fde9fb1b0ee2e15b15a28b6426423e2d73feb"},"schema_version":"1.0","source":{"id":"2508.19186","kind":"arxiv","version":1}},"canonical_sha256":"9e0428c75cebc410ed705c111537cd0ace3a94270131b8355f08ea881c4378a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e0428c75cebc410ed705c111537cd0ace3a94270131b8355f08ea881c4378a1","first_computed_at":"2026-07-05T11:59:39.346115Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:59:39.346115Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"j6XycwK+k2owxvtrHKJRw91SU8oOuhrv+RHQTRiW37xgo92X56EsmM8WQF0Yr9PmMAY8XU+2LMqAVafO/r3kBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:59:39.346589Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.19186","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5a4af4b0a712c48203effa7c7f46e5512257b6c641c4ab08aa2ad6042fec674","sha256:4653ee0f5f2f61dd8f998b5e1af196f9db04ecd6c0fc275d00b589a8a3b55431"],"state_sha256":"6b98676cb754feeb5e52f70b4b329d65cfec2d5bb4841766a45c2eb3cafbf773"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DxV0ABE4SAta/rwTYSK8in9nkiX2EBDEWUqYrOU5sI243SpKcRdG2f2RVJ4fO2JuHQ2cTUoR1Q71P4PGS955BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T22:24:57.579577Z","bundle_sha256":"9cd10067a23a72bc03c40a9dd7b4b3a42942fa3f04cc5ee5f3fe463373c82d06"}}