{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:EX4CIRFFR6WYI3SIO4RUZYL55V","short_pith_number":"pith:EX4CIRFF","canonical_record":{"source":{"id":"1510.08474","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-28T20:25:00Z","cross_cats_sorted":["cs.LO","cs.RO"],"title_canon_sha256":"4d88f58dcbfca531247755787718ee359429b3f8cf1a59a60424b4c6d7634750","abstract_canon_sha256":"40569c883937edc049db02a120e9b0583ff02b201be5b45b4262fda1a1921454"},"schema_version":"1.0"},"canonical_sha256":"25f82444a58fad846e4877234ce17ded5e8d80792bf9f1f94748c1dc7625c004","source":{"kind":"arxiv","id":"1510.08474","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.08474","created_at":"2026-05-18T01:28:28Z"},{"alias_kind":"arxiv_version","alias_value":"1510.08474v1","created_at":"2026-05-18T01:28:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.08474","created_at":"2026-05-18T01:28:28Z"},{"alias_kind":"pith_short_12","alias_value":"EX4CIRFFR6WY","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EX4CIRFFR6WYI3SI","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EX4CIRFF","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:EX4CIRFFR6WYI3SIO4RUZYL55V","target":"record","payload":{"canonical_record":{"source":{"id":"1510.08474","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-28T20:25:00Z","cross_cats_sorted":["cs.LO","cs.RO"],"title_canon_sha256":"4d88f58dcbfca531247755787718ee359429b3f8cf1a59a60424b4c6d7634750","abstract_canon_sha256":"40569c883937edc049db02a120e9b0583ff02b201be5b45b4262fda1a1921454"},"schema_version":"1.0"},"canonical_sha256":"25f82444a58fad846e4877234ce17ded5e8d80792bf9f1f94748c1dc7625c004","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:28:28.893962Z","signature_b64":"MX76oVFOLVc08fnLjy/757R+ntj/k5r7gy+Lxelc0Y8ncVBIyHfLvuIuS9ZgdF/APftM9cHvXTHnySNMVCS8Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25f82444a58fad846e4877234ce17ded5e8d80792bf9f1f94748c1dc7625c004","last_reissued_at":"2026-05-18T01:28:28.893275Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:28:28.893275Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.08474","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:28:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TVw/NgyVvM1INHClZu4ul2BGZ8L5jXqpAtsoh4BREr+cB3wpazo5VVT/Boa439oTO7y89BGvCXLJA3qwwm1bAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T06:05:33.751134Z"},"content_sha256":"ef6b47e56992bc011c1f57b11dd88c26e31fc24cae4db89185be7e66872b4db0","schema_version":"1.0","event_id":"sha256:ef6b47e56992bc011c1f57b11dd88c26e31fc24cae4db89185be7e66872b4db0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:EX4CIRFFR6WYI3SIO4RUZYL55V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Control with Probabilistic Signal Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.RO"],"primary_cat":"cs.SY","authors_text":"Calin Belta, Chanyeol Yoo","submitted_at":"2015-10-28T20:25:00Z","abstract_excerpt":"Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces. Designing such controllers is challenging due to computational complexity and the lack of expressivity of existing specification languages. In this paper, we propose a probabilistic extension to signal temporal logic (STL) that expresses tasks over continuous belief spaces. We present an efficient synthesis algorithm to find a control input that maximises the probability of satis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.08474","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:28:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r1nHWNZFS3RE6acFs51mpugf3YjzEk010OCLjeSeMHNFVL7NVUO2pjliIXrNykGxthL3ByCxLmFsW/VaBNr3DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T06:05:33.751492Z"},"content_sha256":"aab17fa4c03e0b8505f5df33229267fbfcab900f10696e20d8efa95f038673d7","schema_version":"1.0","event_id":"sha256:aab17fa4c03e0b8505f5df33229267fbfcab900f10696e20d8efa95f038673d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EX4CIRFFR6WYI3SIO4RUZYL55V/bundle.json","state_url":"https://pith.science/pith/EX4CIRFFR6WYI3SIO4RUZYL55V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EX4CIRFFR6WYI3SIO4RUZYL55V/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-06-25T06:05:33Z","links":{"resolver":"https://pith.science/pith/EX4CIRFFR6WYI3SIO4RUZYL55V","bundle":"https://pith.science/pith/EX4CIRFFR6WYI3SIO4RUZYL55V/bundle.json","state":"https://pith.science/pith/EX4CIRFFR6WYI3SIO4RUZYL55V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EX4CIRFFR6WYI3SIO4RUZYL55V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:EX4CIRFFR6WYI3SIO4RUZYL55V","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":"40569c883937edc049db02a120e9b0583ff02b201be5b45b4262fda1a1921454","cross_cats_sorted":["cs.LO","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-28T20:25:00Z","title_canon_sha256":"4d88f58dcbfca531247755787718ee359429b3f8cf1a59a60424b4c6d7634750"},"schema_version":"1.0","source":{"id":"1510.08474","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.08474","created_at":"2026-05-18T01:28:28Z"},{"alias_kind":"arxiv_version","alias_value":"1510.08474v1","created_at":"2026-05-18T01:28:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.08474","created_at":"2026-05-18T01:28:28Z"},{"alias_kind":"pith_short_12","alias_value":"EX4CIRFFR6WY","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EX4CIRFFR6WYI3SI","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EX4CIRFF","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:aab17fa4c03e0b8505f5df33229267fbfcab900f10696e20d8efa95f038673d7","target":"graph","created_at":"2026-05-18T01:28:28Z","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":"Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces. Designing such controllers is challenging due to computational complexity and the lack of expressivity of existing specification languages. In this paper, we propose a probabilistic extension to signal temporal logic (STL) that expresses tasks over continuous belief spaces. We present an efficient synthesis algorithm to find a control input that maximises the probability of satis","authors_text":"Calin Belta, Chanyeol Yoo","cross_cats":["cs.LO","cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-28T20:25:00Z","title":"Control with Probabilistic Signal Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.08474","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:ef6b47e56992bc011c1f57b11dd88c26e31fc24cae4db89185be7e66872b4db0","target":"record","created_at":"2026-05-18T01:28:28Z","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":"40569c883937edc049db02a120e9b0583ff02b201be5b45b4262fda1a1921454","cross_cats_sorted":["cs.LO","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-28T20:25:00Z","title_canon_sha256":"4d88f58dcbfca531247755787718ee359429b3f8cf1a59a60424b4c6d7634750"},"schema_version":"1.0","source":{"id":"1510.08474","kind":"arxiv","version":1}},"canonical_sha256":"25f82444a58fad846e4877234ce17ded5e8d80792bf9f1f94748c1dc7625c004","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"25f82444a58fad846e4877234ce17ded5e8d80792bf9f1f94748c1dc7625c004","first_computed_at":"2026-05-18T01:28:28.893275Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:28:28.893275Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MX76oVFOLVc08fnLjy/757R+ntj/k5r7gy+Lxelc0Y8ncVBIyHfLvuIuS9ZgdF/APftM9cHvXTHnySNMVCS8Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:28:28.893962Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.08474","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef6b47e56992bc011c1f57b11dd88c26e31fc24cae4db89185be7e66872b4db0","sha256:aab17fa4c03e0b8505f5df33229267fbfcab900f10696e20d8efa95f038673d7"],"state_sha256":"1338404d74b4d2df86f78e70750e593f923b316ab6a1b80e1c4026a77695b81d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hryYWyzUnkk2Wqw/FMJtf/GDKNv0zpWGDp1sJp7L8DO0lqQihvDD9qmYRVWehZp4fd3F/wJCmCuBXqFhBclxDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T06:05:33.753425Z","bundle_sha256":"5b5fcf90219a8e85dcd2c07202e86590a345c5b0a75f8c96ecb55dc8df0165ff"}}