{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:XTS73K2C3MGMKIWAQS7SOSXFSL","short_pith_number":"pith:XTS73K2C","canonical_record":{"source":{"id":"1203.1177","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-06T12:05:10Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"992264294cc40dfa0806ad6165b58c86fd8ab0f751124393edf91d9b4676d710","abstract_canon_sha256":"e5f3fc52f1232ac9e1484285faa74e0a9bff18903a19f412840d06d7dda03b4b"},"schema_version":"1.0"},"canonical_sha256":"bce5fdab42db0cc522c084bf274ae592ce99b64cb224e94e06cfd0b3f0aec0fe","source":{"kind":"arxiv","id":"1203.1177","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.1177","created_at":"2026-05-18T04:00:40Z"},{"alias_kind":"arxiv_version","alias_value":"1203.1177v1","created_at":"2026-05-18T04:00:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1177","created_at":"2026-05-18T04:00:40Z"},{"alias_kind":"pith_short_12","alias_value":"XTS73K2C3MGM","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XTS73K2C3MGMKIWA","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XTS73K2C","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:XTS73K2C3MGMKIWAQS7SOSXFSL","target":"record","payload":{"canonical_record":{"source":{"id":"1203.1177","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-06T12:05:10Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"992264294cc40dfa0806ad6165b58c86fd8ab0f751124393edf91d9b4676d710","abstract_canon_sha256":"e5f3fc52f1232ac9e1484285faa74e0a9bff18903a19f412840d06d7dda03b4b"},"schema_version":"1.0"},"canonical_sha256":"bce5fdab42db0cc522c084bf274ae592ce99b64cb224e94e06cfd0b3f0aec0fe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:00:40.174916Z","signature_b64":"BFeRkkqA5rOBx+1F/4flxlNLANMz+BWNZF4qgpbqNKfYT4bEgzooBs76kM8l2jOZoY9WUhIXqhR1lb+VLJq0BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bce5fdab42db0cc522c084bf274ae592ce99b64cb224e94e06cfd0b3f0aec0fe","last_reissued_at":"2026-05-18T04:00:40.174253Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:00:40.174253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.1177","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-18T04:00:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qxGlgoD+av8b/RcbzRLTOHiNtT8qv3a+LMTWsloktAi7jG94tDPCBX6NMdJq2c7EC3vsVg6qnB3PKkuYOiKaAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T03:15:00.883302Z"},"content_sha256":"ee5dcc56a49d6f4210613634c7e02e151e88f3a8a8d1e8df714c6608a3797c97","schema_version":"1.0","event_id":"sha256:ee5dcc56a49d6f4210613634c7e02e151e88f3a8a8d1e8df714c6608a3797c97"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:XTS73K2C3MGMKIWAQS7SOSXFSL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Emilio Frazzoli, Tichakorn Wongpiromsarn","submitted_at":"2012-03-06T12:05:10Z","abstract_excerpt":"We consider the synthesis of control policies for probabilistic systems, modeled by Markov decision processes, operating in partially known environments with temporal logic specifications. The environment is modeled by a set of Markov chains. Each Markov chain describes the behavior of the environment in each mode. The mode of the environment, however, is not known to the system. Two control objectives are considered: maximizing the expected probability and maximizing the worst-case probability that the system satisfies a given specification."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1177","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-18T04:00:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0Q6oyIzyzLp54UbSODGFli4wgZzZVez/J+HvTeaMB/+n/4ZOwiU4khI++u9zVd1O85EUjzxxPDUwjgwTXx+CAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T03:15:00.883667Z"},"content_sha256":"2fcd8f48a652e08dd09878ef4f95d67427e17b316b9bd28d064aa78bc1af91b6","schema_version":"1.0","event_id":"sha256:2fcd8f48a652e08dd09878ef4f95d67427e17b316b9bd28d064aa78bc1af91b6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XTS73K2C3MGMKIWAQS7SOSXFSL/bundle.json","state_url":"https://pith.science/pith/XTS73K2C3MGMKIWAQS7SOSXFSL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XTS73K2C3MGMKIWAQS7SOSXFSL/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-24T03:15:00Z","links":{"resolver":"https://pith.science/pith/XTS73K2C3MGMKIWAQS7SOSXFSL","bundle":"https://pith.science/pith/XTS73K2C3MGMKIWAQS7SOSXFSL/bundle.json","state":"https://pith.science/pith/XTS73K2C3MGMKIWAQS7SOSXFSL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XTS73K2C3MGMKIWAQS7SOSXFSL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:XTS73K2C3MGMKIWAQS7SOSXFSL","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":"e5f3fc52f1232ac9e1484285faa74e0a9bff18903a19f412840d06d7dda03b4b","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-06T12:05:10Z","title_canon_sha256":"992264294cc40dfa0806ad6165b58c86fd8ab0f751124393edf91d9b4676d710"},"schema_version":"1.0","source":{"id":"1203.1177","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.1177","created_at":"2026-05-18T04:00:40Z"},{"alias_kind":"arxiv_version","alias_value":"1203.1177v1","created_at":"2026-05-18T04:00:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1177","created_at":"2026-05-18T04:00:40Z"},{"alias_kind":"pith_short_12","alias_value":"XTS73K2C3MGM","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XTS73K2C3MGMKIWA","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XTS73K2C","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:2fcd8f48a652e08dd09878ef4f95d67427e17b316b9bd28d064aa78bc1af91b6","target":"graph","created_at":"2026-05-18T04:00:40Z","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":"We consider the synthesis of control policies for probabilistic systems, modeled by Markov decision processes, operating in partially known environments with temporal logic specifications. The environment is modeled by a set of Markov chains. Each Markov chain describes the behavior of the environment in each mode. The mode of the environment, however, is not known to the system. Two control objectives are considered: maximizing the expected probability and maximizing the worst-case probability that the system satisfies a given specification.","authors_text":"Emilio Frazzoli, Tichakorn Wongpiromsarn","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-06T12:05:10Z","title":"Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1177","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:ee5dcc56a49d6f4210613634c7e02e151e88f3a8a8d1e8df714c6608a3797c97","target":"record","created_at":"2026-05-18T04:00:40Z","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":"e5f3fc52f1232ac9e1484285faa74e0a9bff18903a19f412840d06d7dda03b4b","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-06T12:05:10Z","title_canon_sha256":"992264294cc40dfa0806ad6165b58c86fd8ab0f751124393edf91d9b4676d710"},"schema_version":"1.0","source":{"id":"1203.1177","kind":"arxiv","version":1}},"canonical_sha256":"bce5fdab42db0cc522c084bf274ae592ce99b64cb224e94e06cfd0b3f0aec0fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bce5fdab42db0cc522c084bf274ae592ce99b64cb224e94e06cfd0b3f0aec0fe","first_computed_at":"2026-05-18T04:00:40.174253Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:00:40.174253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BFeRkkqA5rOBx+1F/4flxlNLANMz+BWNZF4qgpbqNKfYT4bEgzooBs76kM8l2jOZoY9WUhIXqhR1lb+VLJq0BA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:00:40.174916Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.1177","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee5dcc56a49d6f4210613634c7e02e151e88f3a8a8d1e8df714c6608a3797c97","sha256:2fcd8f48a652e08dd09878ef4f95d67427e17b316b9bd28d064aa78bc1af91b6"],"state_sha256":"ff8dfa20682b87ae3d0c5b915256b5388e860f3c3a819db634b7e7306519040a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w9qKV4Vzhf7OJIeOkPqi90tmJVAMm1RGqMWlNLmnlQnIoV0Qav3qkPQMN4mNipe21RwOSFX143h907j/DvQ7Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T03:15:00.885648Z","bundle_sha256":"6d23f355b364883a3514ae759c8a12df07625ec113570c14f533e0bff61c7e03"}}