{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:UHM4FHDA5FJ67NP6O2QJ4TZA4V","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":"37daa93bac5017018aec30c6f35aa9a1e8f0fea8815b40fd0ea3406efa8a8fae","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-06-22T13:12:36Z","title_canon_sha256":"856cc45fdca27021dbf384e171890fc75eb00f8fddac7d791d6be7fd416dc210"},"schema_version":"1.0","source":{"id":"2106.11735","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.11735","created_at":"2026-07-05T03:46:59Z"},{"alias_kind":"arxiv_version","alias_value":"2106.11735v2","created_at":"2026-07-05T03:46:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.11735","created_at":"2026-07-05T03:46:59Z"},{"alias_kind":"pith_short_12","alias_value":"UHM4FHDA5FJ6","created_at":"2026-07-05T03:46:59Z"},{"alias_kind":"pith_short_16","alias_value":"UHM4FHDA5FJ67NP6","created_at":"2026-07-05T03:46:59Z"},{"alias_kind":"pith_short_8","alias_value":"UHM4FHDA","created_at":"2026-07-05T03:46:59Z"}],"graph_snapshots":[{"event_id":"sha256:c9dc38e76fe1c831cf59501f2fc8af9b4a27105b73143e976290fc842af9c313","target":"graph","created_at":"2026-07-05T03:46:59Z","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/2106.11735/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Probabilistic model checking has been developed for verifying systems that have stochastic and nondeterministic behavior. Given a probabilistic system, a probabilistic model checker takes a property and checks whether or not the property holds in that system. For this reason, probabilistic model checking provide rigorous guarantees. So far, however, probabilistic model checking has focused on propositional models where a state is represented by a symbol. On the other hand, it is commonly required to make relational abstractions in planning and reinforcement learning. Various frameworks handle ","authors_text":"Jean-Fran\\c{c}ois Raskin, Luc De Raedt, Wen-Chi Yang","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-06-22T13:12:36Z","title":"Lifted Model Checking for Relational MDPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.11735","kind":"arxiv","version":2},"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:67de3c8cd30b23f7a9772158372904da84b3cdb7b20b5b22fe87de0ed6df003f","target":"record","created_at":"2026-07-05T03:46:59Z","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":"37daa93bac5017018aec30c6f35aa9a1e8f0fea8815b40fd0ea3406efa8a8fae","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-06-22T13:12:36Z","title_canon_sha256":"856cc45fdca27021dbf384e171890fc75eb00f8fddac7d791d6be7fd416dc210"},"schema_version":"1.0","source":{"id":"2106.11735","kind":"arxiv","version":2}},"canonical_sha256":"a1d9c29c60e953efb5fe76a09e4f20e56f5f0add1c8900d5a82a87654fab9c41","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1d9c29c60e953efb5fe76a09e4f20e56f5f0add1c8900d5a82a87654fab9c41","first_computed_at":"2026-07-05T03:46:59.140565Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:46:59.140565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7+PTAgk4Ln0wS2yjsPuDlsaIWu+PSiDom0mIqGySIHGDrAZ0T7F4PO1SUbFj5j+H844il8Pc+gAr4Vk+yfWcCg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:46:59.140987Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.11735","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:67de3c8cd30b23f7a9772158372904da84b3cdb7b20b5b22fe87de0ed6df003f","sha256:c9dc38e76fe1c831cf59501f2fc8af9b4a27105b73143e976290fc842af9c313"],"state_sha256":"6ef262d1e1b23e452641cdb40bf9fb32e8460625a34f56e7996bb244e87aec89"}