{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:S245W5KT32637T4AXL5IPMRP2G","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":"6bc13becb0838c78413159c216c83c6c36767c2731e2c0628dc1b850fdb5f750","cross_cats_sorted":["cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-01-08T18:11:22Z","title_canon_sha256":"27bd433b45046e2f4b6c5e6838596eb640ec9f1228fe5206ffd0fe1d11452e62"},"schema_version":"1.0","source":{"id":"2401.04068","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.04068","created_at":"2026-07-05T08:13:11Z"},{"alias_kind":"arxiv_version","alias_value":"2401.04068v2","created_at":"2026-07-05T08:13:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.04068","created_at":"2026-07-05T08:13:11Z"},{"alias_kind":"pith_short_12","alias_value":"S245W5KT3263","created_at":"2026-07-05T08:13:11Z"},{"alias_kind":"pith_short_16","alias_value":"S245W5KT32637T4A","created_at":"2026-07-05T08:13:11Z"},{"alias_kind":"pith_short_8","alias_value":"S245W5KT","created_at":"2026-07-05T08:13:11Z"}],"graph_snapshots":[{"event_id":"sha256:2ebb609b81996331eb2f54e9ff3d1483d84c931e0c3b1c2e797bbc1b3475a862","target":"graph","created_at":"2026-07-05T08:13:11Z","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/2401.04068/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we present IntervalMDP.jl, a Julia package for probabilistic analysis of interval Markov Decision Processes (IMDPs). IntervalMDP.jl facilitates the synthesis of optimal strategies and verification of IMDPs against reachability specifications and discounted reward properties. The library supports sparse matrices and is compatible with data formats from common tools for the analysis of probabilistic models, such as PRISM. A key feature of IntervalMDP.jl is that it presents both a multi-threaded CPU and a GPU-accelerated implementation of value iteration algorithms for IMDPs. In pa","authors_text":"Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian","cross_cats":["cs.LO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-01-08T18:11:22Z","title":"IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.04068","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:fb25eebb843b696e0e8e37c118f365864b9e2cdadc1d9ead22462db5e7e69360","target":"record","created_at":"2026-07-05T08:13:11Z","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":"6bc13becb0838c78413159c216c83c6c36767c2731e2c0628dc1b850fdb5f750","cross_cats_sorted":["cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-01-08T18:11:22Z","title_canon_sha256":"27bd433b45046e2f4b6c5e6838596eb640ec9f1228fe5206ffd0fe1d11452e62"},"schema_version":"1.0","source":{"id":"2401.04068","kind":"arxiv","version":2}},"canonical_sha256":"96b9db7553debdbfcf80bafa87b22fd1a34638f8f000912c7156353f2c4adbd7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"96b9db7553debdbfcf80bafa87b22fd1a34638f8f000912c7156353f2c4adbd7","first_computed_at":"2026-07-05T08:13:11.494845Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:13:11.494845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DnL9AkWMx3HHu96VXL5SHr5NC1h9YWxwy1fTplID1a3/0nhMmcGeQrw/83kFMlUDfp1hKVgIruHSttMHaygSBw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:13:11.495277Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.04068","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fb25eebb843b696e0e8e37c118f365864b9e2cdadc1d9ead22462db5e7e69360","sha256:2ebb609b81996331eb2f54e9ff3d1483d84c931e0c3b1c2e797bbc1b3475a862"],"state_sha256":"39b1dbd2b9c877edbf1ddf04625d61bf7ddfee129cc2c6a745767aa11234fb1c"}