{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:PQLQTY2T3QFLKOJU4SHFZCENLG","short_pith_number":"pith:PQLQTY2T","schema_version":"1.0","canonical_sha256":"7c1709e353dc0ab53934e48e5c888d59839f9972e46e1b531f41f28ff43a7c9f","source":{"kind":"arxiv","id":"2108.01227","version":1},"attestation_state":"computed","paper":{"title":"Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Hansol Yoon, Sriram Sankaranarayanan","submitted_at":"2021-08-03T01:00:28Z","abstract_excerpt":"We propose a predictive runtime monitoring framework that forecasts the distribution of future positions of mobile robots in order to detect and avoid impending property violations such as collisions with obstacles or other agents. Our approach uses a restricted class of temporal logic formulas to represent the likely intentions of the agents along with a combination of temporal logic-based optimal cost path planning and Bayesian inference to compute the probability of these intents given the current trajectory of the robot. First, we construct a large but finite hypothesis space of possible i"},"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":"2108.01227","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2021-08-03T01:00:28Z","cross_cats_sorted":[],"title_canon_sha256":"c4603ec9727289640bda36230164aca9881ea755edf91840d0009c55e011dc0e","abstract_canon_sha256":"42cec784cb2770d473bd0eeab30982bfd221ba16445c55a6c00e5fde0175afbd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:03:00.509795Z","signature_b64":"gHQpthBxd1VzfLb/lDdWrmRCww0dJhRkLulBKf584ZLuoQXI7db3QIrfp5nytPLFLDgxQ9ZILxUUPIJqqT7dCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c1709e353dc0ab53934e48e5c888d59839f9972e46e1b531f41f28ff43a7c9f","last_reissued_at":"2026-07-05T03:03:00.509412Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:03:00.509412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Hansol Yoon, Sriram Sankaranarayanan","submitted_at":"2021-08-03T01:00:28Z","abstract_excerpt":"We propose a predictive runtime monitoring framework that forecasts the distribution of future positions of mobile robots in order to detect and avoid impending property violations such as collisions with obstacles or other agents. Our approach uses a restricted class of temporal logic formulas to represent the likely intentions of the agents along with a combination of temporal logic-based optimal cost path planning and Bayesian inference to compute the probability of these intents given the current trajectory of the robot. First, we construct a large but finite hypothesis space of possible i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2108.01227","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/2108.01227/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":"2108.01227","created_at":"2026-07-05T03:03:00.509472+00:00"},{"alias_kind":"arxiv_version","alias_value":"2108.01227v1","created_at":"2026-07-05T03:03:00.509472+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2108.01227","created_at":"2026-07-05T03:03:00.509472+00:00"},{"alias_kind":"pith_short_12","alias_value":"PQLQTY2T3QFL","created_at":"2026-07-05T03:03:00.509472+00:00"},{"alias_kind":"pith_short_16","alias_value":"PQLQTY2T3QFLKOJU","created_at":"2026-07-05T03:03:00.509472+00:00"},{"alias_kind":"pith_short_8","alias_value":"PQLQTY2T","created_at":"2026-07-05T03:03:00.509472+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/PQLQTY2T3QFLKOJU4SHFZCENLG","json":"https://pith.science/pith/PQLQTY2T3QFLKOJU4SHFZCENLG.json","graph_json":"https://pith.science/api/pith-number/PQLQTY2T3QFLKOJU4SHFZCENLG/graph.json","events_json":"https://pith.science/api/pith-number/PQLQTY2T3QFLKOJU4SHFZCENLG/events.json","paper":"https://pith.science/paper/PQLQTY2T"},"agent_actions":{"view_html":"https://pith.science/pith/PQLQTY2T3QFLKOJU4SHFZCENLG","download_json":"https://pith.science/pith/PQLQTY2T3QFLKOJU4SHFZCENLG.json","view_paper":"https://pith.science/paper/PQLQTY2T","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2108.01227&json=true","fetch_graph":"https://pith.science/api/pith-number/PQLQTY2T3QFLKOJU4SHFZCENLG/graph.json","fetch_events":"https://pith.science/api/pith-number/PQLQTY2T3QFLKOJU4SHFZCENLG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PQLQTY2T3QFLKOJU4SHFZCENLG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PQLQTY2T3QFLKOJU4SHFZCENLG/action/storage_attestation","attest_author":"https://pith.science/pith/PQLQTY2T3QFLKOJU4SHFZCENLG/action/author_attestation","sign_citation":"https://pith.science/pith/PQLQTY2T3QFLKOJU4SHFZCENLG/action/citation_signature","submit_replication":"https://pith.science/pith/PQLQTY2T3QFLKOJU4SHFZCENLG/action/replication_record"}},"created_at":"2026-07-05T03:03:00.509472+00:00","updated_at":"2026-07-05T03:03:00.509472+00:00"}