{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:TYCCRR245PCBB3LQLQIRKN6NBL","short_pith_number":"pith:TYCCRR24","schema_version":"1.0","canonical_sha256":"9e0428c75cebc410ed705c111537cd0ace3a94270131b8355f08ea881c4378a1","source":{"kind":"arxiv","id":"2508.19186","version":1},"attestation_state":"computed","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)."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2508.19186","created_at":"2026-07-05T11:59:39.346184+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.19186v1","created_at":"2026-07-05T11:59:39.346184+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.19186","created_at":"2026-07-05T11:59:39.346184+00:00"},{"alias_kind":"pith_short_12","alias_value":"TYCCRR245PCB","created_at":"2026-07-05T11:59:39.346184+00:00"},{"alias_kind":"pith_short_16","alias_value":"TYCCRR245PCBB3LQ","created_at":"2026-07-05T11:59:39.346184+00:00"},{"alias_kind":"pith_short_8","alias_value":"TYCCRR24","created_at":"2026-07-05T11:59:39.346184+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL","json":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL.json","graph_json":"https://pith.science/api/pith-number/TYCCRR245PCBB3LQLQIRKN6NBL/graph.json","events_json":"https://pith.science/api/pith-number/TYCCRR245PCBB3LQLQIRKN6NBL/events.json","paper":"https://pith.science/paper/TYCCRR24"},"agent_actions":{"view_html":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL","download_json":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL.json","view_paper":"https://pith.science/paper/TYCCRR24","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.19186&json=true","fetch_graph":"https://pith.science/api/pith-number/TYCCRR245PCBB3LQLQIRKN6NBL/graph.json","fetch_events":"https://pith.science/api/pith-number/TYCCRR245PCBB3LQLQIRKN6NBL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL/action/storage_attestation","attest_author":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL/action/author_attestation","sign_citation":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL/action/citation_signature","submit_replication":"https://pith.science/pith/TYCCRR245PCBB3LQLQIRKN6NBL/action/replication_record"}},"created_at":"2026-07-05T11:59:39.346184+00:00","updated_at":"2026-07-05T11:59:39.346184+00:00"}