{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:3PLS5HWUNXPN6WVLJLYGIZ4H2X","short_pith_number":"pith:3PLS5HWU","canonical_record":{"source":{"id":"2412.13365","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-17T22:46:39Z","cross_cats_sorted":["cs.HC","cs.SY","eess.SY"],"title_canon_sha256":"8c2d6ca4c160823ffc6db3dfef7751227e59250c2235b2044877dbd7c1f94ece","abstract_canon_sha256":"794966b43ded2930d4a73796b5675ddc97018c51275721349e78d828d0d46efc"},"schema_version":"1.0"},"canonical_sha256":"dbd72e9ed46ddedf5aab4af0646787d5d60dd0c48a406cbf9214e9ef902f6079","source":{"kind":"arxiv","id":"2412.13365","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.13365","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"arxiv_version","alias_value":"2412.13365v1","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.13365","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"pith_short_12","alias_value":"3PLS5HWUNXPN","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"pith_short_16","alias_value":"3PLS5HWUNXPN6WVL","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"pith_short_8","alias_value":"3PLS5HWU","created_at":"2026-07-05T09:51:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:3PLS5HWUNXPN6WVLJLYGIZ4H2X","target":"record","payload":{"canonical_record":{"source":{"id":"2412.13365","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-17T22:46:39Z","cross_cats_sorted":["cs.HC","cs.SY","eess.SY"],"title_canon_sha256":"8c2d6ca4c160823ffc6db3dfef7751227e59250c2235b2044877dbd7c1f94ece","abstract_canon_sha256":"794966b43ded2930d4a73796b5675ddc97018c51275721349e78d828d0d46efc"},"schema_version":"1.0"},"canonical_sha256":"dbd72e9ed46ddedf5aab4af0646787d5d60dd0c48a406cbf9214e9ef902f6079","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:51:00.469185Z","signature_b64":"iHuHaf/RF3kWsIwykyhWdq9WkPak5hVOaR7Crs+8pq0OTmcR/jNgmVzMwKeR8+0+unl14H7uIgwA73JWDQzzAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dbd72e9ed46ddedf5aab4af0646787d5d60dd0c48a406cbf9214e9ef902f6079","last_reissued_at":"2026-07-05T09:51:00.468720Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:51:00.468720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.13365","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-05T09:51:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qys7ZLOiSqYzqyf2hhcpnCXY430whfT9nNu3lgfRjsAIbfM7Vsjg/Ub+Uu9p4ZQr3TEpbfsGMBZfrfPtM7hXAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T03:26:04.335269Z"},"content_sha256":"389a58ea2f6cc39822ad0296f7f3788211fdf6e9cc0ef57bde7151238f49baa7","schema_version":"1.0","event_id":"sha256:389a58ea2f6cc39822ad0296f7f3788211fdf6e9cc0ef57bde7151238f49baa7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:3PLS5HWUNXPN6WVLJLYGIZ4H2X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.HC","cs.SY","eess.SY"],"primary_cat":"cs.AI","authors_text":"Josephine Lamp, Lu Feng, Matthew B. Dwyer, Meiyi Ma, Sebastian Elbaum, Shuyang Dong","submitted_at":"2024-12-17T22:46:39Z","abstract_excerpt":"There is a growing trend toward AI systems interacting with humans to revolutionize a range of application domains such as healthcare and transportation. However, unsafe human-machine interaction can lead to catastrophic failures. We propose a novel approach that predicts future states by accounting for the uncertainty of human interaction, monitors whether predictions satisfy or violate safety requirements, and adapts control actions based on the predictive monitoring results. Specifically, we develop a new quantitative predictive monitor based on Signal Temporal Logic with Uncertainty (STL-U"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.13365","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/2412.13365/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-05T09:51:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZvJVwI732xXbRknd82rkdV3TYLYp8ezOVnhDa47Aq8ani0/kjpaiKh4W9LWe2aDnoZ3pgMGA5B/raDr8oXQNDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T03:26:04.335759Z"},"content_sha256":"713709f05c6a997ff66b25d2678b73eec6cebd5d57e7f0b00526a322460aa156","schema_version":"1.0","event_id":"sha256:713709f05c6a997ff66b25d2678b73eec6cebd5d57e7f0b00526a322460aa156"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3PLS5HWUNXPN6WVLJLYGIZ4H2X/bundle.json","state_url":"https://pith.science/pith/3PLS5HWUNXPN6WVLJLYGIZ4H2X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3PLS5HWUNXPN6WVLJLYGIZ4H2X/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-05T03:26:04Z","links":{"resolver":"https://pith.science/pith/3PLS5HWUNXPN6WVLJLYGIZ4H2X","bundle":"https://pith.science/pith/3PLS5HWUNXPN6WVLJLYGIZ4H2X/bundle.json","state":"https://pith.science/pith/3PLS5HWUNXPN6WVLJLYGIZ4H2X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3PLS5HWUNXPN6WVLJLYGIZ4H2X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:3PLS5HWUNXPN6WVLJLYGIZ4H2X","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":"794966b43ded2930d4a73796b5675ddc97018c51275721349e78d828d0d46efc","cross_cats_sorted":["cs.HC","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-17T22:46:39Z","title_canon_sha256":"8c2d6ca4c160823ffc6db3dfef7751227e59250c2235b2044877dbd7c1f94ece"},"schema_version":"1.0","source":{"id":"2412.13365","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.13365","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"arxiv_version","alias_value":"2412.13365v1","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.13365","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"pith_short_12","alias_value":"3PLS5HWUNXPN","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"pith_short_16","alias_value":"3PLS5HWUNXPN6WVL","created_at":"2026-07-05T09:51:00Z"},{"alias_kind":"pith_short_8","alias_value":"3PLS5HWU","created_at":"2026-07-05T09:51:00Z"}],"graph_snapshots":[{"event_id":"sha256:713709f05c6a997ff66b25d2678b73eec6cebd5d57e7f0b00526a322460aa156","target":"graph","created_at":"2026-07-05T09:51:00Z","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/2412.13365/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"There is a growing trend toward AI systems interacting with humans to revolutionize a range of application domains such as healthcare and transportation. However, unsafe human-machine interaction can lead to catastrophic failures. We propose a novel approach that predicts future states by accounting for the uncertainty of human interaction, monitors whether predictions satisfy or violate safety requirements, and adapts control actions based on the predictive monitoring results. Specifically, we develop a new quantitative predictive monitor based on Signal Temporal Logic with Uncertainty (STL-U","authors_text":"Josephine Lamp, Lu Feng, Matthew B. Dwyer, Meiyi Ma, Sebastian Elbaum, Shuyang Dong","cross_cats":["cs.HC","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-17T22:46:39Z","title":"Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.13365","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:389a58ea2f6cc39822ad0296f7f3788211fdf6e9cc0ef57bde7151238f49baa7","target":"record","created_at":"2026-07-05T09:51:00Z","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":"794966b43ded2930d4a73796b5675ddc97018c51275721349e78d828d0d46efc","cross_cats_sorted":["cs.HC","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-17T22:46:39Z","title_canon_sha256":"8c2d6ca4c160823ffc6db3dfef7751227e59250c2235b2044877dbd7c1f94ece"},"schema_version":"1.0","source":{"id":"2412.13365","kind":"arxiv","version":1}},"canonical_sha256":"dbd72e9ed46ddedf5aab4af0646787d5d60dd0c48a406cbf9214e9ef902f6079","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dbd72e9ed46ddedf5aab4af0646787d5d60dd0c48a406cbf9214e9ef902f6079","first_computed_at":"2026-07-05T09:51:00.468720Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:51:00.468720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iHuHaf/RF3kWsIwykyhWdq9WkPak5hVOaR7Crs+8pq0OTmcR/jNgmVzMwKeR8+0+unl14H7uIgwA73JWDQzzAg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:51:00.469185Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.13365","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:389a58ea2f6cc39822ad0296f7f3788211fdf6e9cc0ef57bde7151238f49baa7","sha256:713709f05c6a997ff66b25d2678b73eec6cebd5d57e7f0b00526a322460aa156"],"state_sha256":"2a9e2522c93f71c90f8e9755bda082c3daeed843e44e3637e5669519f7e34afe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KwqjXTI3o/P7Os/x6SZYIYLbZ2+o39mZU3ypF0rrM6kyWiOc3AxLufoWw4rkD0wlcQPs9bI02AmaB9BToRalDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T03:26:04.340203Z","bundle_sha256":"febd5cf129415b1bce73f53a7a8ab6d9b6c5f93ba9e150d5302c4856469beadf"}}