{"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"}