{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:DVHPHPQBJKC6GKK36SEGV4UFQH","short_pith_number":"pith:DVHPHPQB","canonical_record":{"source":{"id":"1602.02387","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-07T16:36:31Z","cross_cats_sorted":[],"title_canon_sha256":"2cb2fef46fdfaa611006d1eea1bda69df9e4d1995eb020452bdf0ed618cd50e6","abstract_canon_sha256":"82ca31fc20975fc5242ee9ca89d30e96642fb3d7d943d45e92cd3e349d9008b9"},"schema_version":"1.0"},"canonical_sha256":"1d4ef3be014a85e3295bf4886af28581d6aa81138560c5f17e3bb61202b00b8a","source":{"kind":"arxiv","id":"1602.02387","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.02387","created_at":"2026-05-18T01:21:10Z"},{"alias_kind":"arxiv_version","alias_value":"1602.02387v1","created_at":"2026-05-18T01:21:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.02387","created_at":"2026-05-18T01:21:10Z"},{"alias_kind":"pith_short_12","alias_value":"DVHPHPQBJKC6","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DVHPHPQBJKC6GKK3","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DVHPHPQB","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:DVHPHPQBJKC6GKK36SEGV4UFQH","target":"record","payload":{"canonical_record":{"source":{"id":"1602.02387","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-07T16:36:31Z","cross_cats_sorted":[],"title_canon_sha256":"2cb2fef46fdfaa611006d1eea1bda69df9e4d1995eb020452bdf0ed618cd50e6","abstract_canon_sha256":"82ca31fc20975fc5242ee9ca89d30e96642fb3d7d943d45e92cd3e349d9008b9"},"schema_version":"1.0"},"canonical_sha256":"1d4ef3be014a85e3295bf4886af28581d6aa81138560c5f17e3bb61202b00b8a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:21:10.142031Z","signature_b64":"6F3dAgd0sz7hfs5FlgskgktPaM+NtoVz4GrwJJPmDcJDZwLxPgJi8+OPtNVGBYFvCSa6iZ7stZg7WR9WIhlJBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d4ef3be014a85e3295bf4886af28581d6aa81138560c5f17e3bb61202b00b8a","last_reissued_at":"2026-05-18T01:21:10.141292Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:21:10.141292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.02387","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-05-18T01:21:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RbrFRFyRV7QYQhkoeHDzA6AyqDWrdAxl4sQuT98e1aStQ+uSHi2WD6Y7nvy11bn3Ez38oasiGiRf0y0NdEjyDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:23:56.367604Z"},"content_sha256":"5ae4694f8184e9adae484d69721c2d9fea9dd3d22efdc3088ca019973b8f3958","schema_version":"1.0","event_id":"sha256:5ae4694f8184e9adae484d69721c2d9fea9dd3d22efdc3088ca019973b8f3958"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:DVHPHPQBJKC6GKK36SEGV4UFQH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Monitoring Temporal Properties using Interval Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexandre Goldsztejn, Daisuke Ishii, Naoki Yonezaki","submitted_at":"2016-02-07T16:36:31Z","abstract_excerpt":"Verification of temporal logic properties plays a crucial role in proving the desired behaviors of continuous systems. In this paper, we propose an interval method that verifies the properties described by a bounded signal temporal logic. We relax the problem so that if the verification process cannot succeed at the prescribed precision, it outputs an inconclusive result. The problem is solved by an efficient and rigorous monitoring algorithm. This algorithm performs a forward simulation of a continuous-time dynamical system, detects a set of time intervals in which the atomic propositions hol"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.02387","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":""},"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-05-18T01:21:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZXK5JjqgZ/32CfF23aKsEDhY/9CZw5jC5Q4OVtaCi9iOXnqub3eTeqtDXmX7F0EgB0Usr0lTdmvrmwTvxwLFDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:23:56.368010Z"},"content_sha256":"aa8f94b08fe8d9e46df5cfb364999dd15a59c6c9d8dce5bfb24e60b512392f47","schema_version":"1.0","event_id":"sha256:aa8f94b08fe8d9e46df5cfb364999dd15a59c6c9d8dce5bfb24e60b512392f47"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DVHPHPQBJKC6GKK36SEGV4UFQH/bundle.json","state_url":"https://pith.science/pith/DVHPHPQBJKC6GKK36SEGV4UFQH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DVHPHPQBJKC6GKK36SEGV4UFQH/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-05-30T14:23:56Z","links":{"resolver":"https://pith.science/pith/DVHPHPQBJKC6GKK36SEGV4UFQH","bundle":"https://pith.science/pith/DVHPHPQBJKC6GKK36SEGV4UFQH/bundle.json","state":"https://pith.science/pith/DVHPHPQBJKC6GKK36SEGV4UFQH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DVHPHPQBJKC6GKK36SEGV4UFQH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:DVHPHPQBJKC6GKK36SEGV4UFQH","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":"82ca31fc20975fc5242ee9ca89d30e96642fb3d7d943d45e92cd3e349d9008b9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-07T16:36:31Z","title_canon_sha256":"2cb2fef46fdfaa611006d1eea1bda69df9e4d1995eb020452bdf0ed618cd50e6"},"schema_version":"1.0","source":{"id":"1602.02387","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.02387","created_at":"2026-05-18T01:21:10Z"},{"alias_kind":"arxiv_version","alias_value":"1602.02387v1","created_at":"2026-05-18T01:21:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.02387","created_at":"2026-05-18T01:21:10Z"},{"alias_kind":"pith_short_12","alias_value":"DVHPHPQBJKC6","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DVHPHPQBJKC6GKK3","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DVHPHPQB","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:aa8f94b08fe8d9e46df5cfb364999dd15a59c6c9d8dce5bfb24e60b512392f47","target":"graph","created_at":"2026-05-18T01:21:10Z","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"},"paper":{"abstract_excerpt":"Verification of temporal logic properties plays a crucial role in proving the desired behaviors of continuous systems. In this paper, we propose an interval method that verifies the properties described by a bounded signal temporal logic. We relax the problem so that if the verification process cannot succeed at the prescribed precision, it outputs an inconclusive result. The problem is solved by an efficient and rigorous monitoring algorithm. This algorithm performs a forward simulation of a continuous-time dynamical system, detects a set of time intervals in which the atomic propositions hol","authors_text":"Alexandre Goldsztejn, Daisuke Ishii, Naoki Yonezaki","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-07T16:36:31Z","title":"Monitoring Temporal Properties using Interval Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.02387","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:5ae4694f8184e9adae484d69721c2d9fea9dd3d22efdc3088ca019973b8f3958","target":"record","created_at":"2026-05-18T01:21:10Z","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":"82ca31fc20975fc5242ee9ca89d30e96642fb3d7d943d45e92cd3e349d9008b9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-07T16:36:31Z","title_canon_sha256":"2cb2fef46fdfaa611006d1eea1bda69df9e4d1995eb020452bdf0ed618cd50e6"},"schema_version":"1.0","source":{"id":"1602.02387","kind":"arxiv","version":1}},"canonical_sha256":"1d4ef3be014a85e3295bf4886af28581d6aa81138560c5f17e3bb61202b00b8a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d4ef3be014a85e3295bf4886af28581d6aa81138560c5f17e3bb61202b00b8a","first_computed_at":"2026-05-18T01:21:10.141292Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:21:10.141292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6F3dAgd0sz7hfs5FlgskgktPaM+NtoVz4GrwJJPmDcJDZwLxPgJi8+OPtNVGBYFvCSa6iZ7stZg7WR9WIhlJBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:21:10.142031Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.02387","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5ae4694f8184e9adae484d69721c2d9fea9dd3d22efdc3088ca019973b8f3958","sha256:aa8f94b08fe8d9e46df5cfb364999dd15a59c6c9d8dce5bfb24e60b512392f47"],"state_sha256":"92ac72fe1b33dd8c8a5b313ba60acc1bb4ed6c2bfcf8e882b49d3abafc0be175"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TUq/uW3XCuyCzE8vd670Q5A8sbrkN/H/NjgE+m8IyBxMe6EMveJFZx4vF9Hxge/KDcLP0X3WOeojiVbBqBIJAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T14:23:56.370877Z","bundle_sha256":"3fa884f392f1b38fe84f8f86ed24a6d544d69620ead229fcd3f5f21f4e1d9dbf"}}