{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:EJO5M2OW7UBKHKMOIAIVH6EWOQ","short_pith_number":"pith:EJO5M2OW","canonical_record":{"source":{"id":"2606.23229","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-22T12:16:19Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"92790608df8dd473d5da6abe8f1a6d9e939ace3ef91151fd3c94b727ab23ccdb","abstract_canon_sha256":"65a751a7971d2bdf71b858808928fe8e80622484c427fa595bb4a9a83e4c6bf3"},"schema_version":"1.0"},"canonical_sha256":"225dd669d6fd02a3a98e401153f89674256463eb4061437a6e8cf8281d90f0e3","source":{"kind":"arxiv","id":"2606.23229","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23229","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23229v1","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23229","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"pith_short_12","alias_value":"EJO5M2OW7UBK","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"pith_short_16","alias_value":"EJO5M2OW7UBKHKMO","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"pith_short_8","alias_value":"EJO5M2OW","created_at":"2026-06-23T03:14:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:EJO5M2OW7UBKHKMOIAIVH6EWOQ","target":"record","payload":{"canonical_record":{"source":{"id":"2606.23229","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-22T12:16:19Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"92790608df8dd473d5da6abe8f1a6d9e939ace3ef91151fd3c94b727ab23ccdb","abstract_canon_sha256":"65a751a7971d2bdf71b858808928fe8e80622484c427fa595bb4a9a83e4c6bf3"},"schema_version":"1.0"},"canonical_sha256":"225dd669d6fd02a3a98e401153f89674256463eb4061437a6e8cf8281d90f0e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T03:14:14.361931Z","signature_b64":"Hzu+Ae90elmqZfrJ54eBcAaKMDWYRpHkAyep++ugsY44dFF0HC9DJY/vkids6PX/IFB6lHIxl2rNUvCI0+eXDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"225dd669d6fd02a3a98e401153f89674256463eb4061437a6e8cf8281d90f0e3","last_reissued_at":"2026-06-23T03:14:14.361486Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T03:14:14.361486Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.23229","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-06-23T03:14:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aV3+U2PX742FqcYyVcfkibwSNtUjZDXXY4auBOoLu9xAny6aoGnwZkkvFi5M6xMJMug897J0odfRvoEvVXQJBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T12:54:28.398369Z"},"content_sha256":"4f89b5a869747a7f1c1b2cf1fc0e2ce10ac99163f75c4013d82a2657f8664fa5","schema_version":"1.0","event_id":"sha256:4f89b5a869747a7f1c1b2cf1fc0e2ce10ac99163f75c4013d82a2657f8664fa5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:EJO5M2OW7UBKHKMOIAIVH6EWOQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Value iteration with stopping criterion: finite iterations, stability, and near-optimality guarantees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Dragan Ne\\v{s}i\\'c, Jamal Daafouz, Lucian Bu\\c{s}oniu, Mathieu Granzotto, Romain Postoyan","submitted_at":"2026-06-22T12:16:19Z","abstract_excerpt":"Value iteration (VI) is a cornerstone of dynamic programming that allows computing near-optimal feedback laws for general plant dynamics and cost functions. In practice, however, it must be stopped after finitely many iterations. This raises the question of when to stop the algorithm so that the resulting policies and value functions achieve desirable properties, like given near-optimality bounds and stability. In this context, we study deterministic, discrete-time systems with infinite-horizon (possibly discounted) costs whose inputs are generated by VI. We equip VI with a generalized stoppin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23229","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.23229/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-06-23T03:14:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DMDpvXJixyWgq2v3262tIlPGaskGWowjxrg6bfcDUerYI055bE9tElgEXAYOBAe8+fC5ecwcsQtR6Xs5BZxeCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T12:54:28.398746Z"},"content_sha256":"9f705d251d28f14fa19e6f31767a746eb8903fc1254957104009571ba7d261a6","schema_version":"1.0","event_id":"sha256:9f705d251d28f14fa19e6f31767a746eb8903fc1254957104009571ba7d261a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EJO5M2OW7UBKHKMOIAIVH6EWOQ/bundle.json","state_url":"https://pith.science/pith/EJO5M2OW7UBKHKMOIAIVH6EWOQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EJO5M2OW7UBKHKMOIAIVH6EWOQ/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-27T12:54:28Z","links":{"resolver":"https://pith.science/pith/EJO5M2OW7UBKHKMOIAIVH6EWOQ","bundle":"https://pith.science/pith/EJO5M2OW7UBKHKMOIAIVH6EWOQ/bundle.json","state":"https://pith.science/pith/EJO5M2OW7UBKHKMOIAIVH6EWOQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EJO5M2OW7UBKHKMOIAIVH6EWOQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:EJO5M2OW7UBKHKMOIAIVH6EWOQ","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":"65a751a7971d2bdf71b858808928fe8e80622484c427fa595bb4a9a83e4c6bf3","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-22T12:16:19Z","title_canon_sha256":"92790608df8dd473d5da6abe8f1a6d9e939ace3ef91151fd3c94b727ab23ccdb"},"schema_version":"1.0","source":{"id":"2606.23229","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23229","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23229v1","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23229","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"pith_short_12","alias_value":"EJO5M2OW7UBK","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"pith_short_16","alias_value":"EJO5M2OW7UBKHKMO","created_at":"2026-06-23T03:14:14Z"},{"alias_kind":"pith_short_8","alias_value":"EJO5M2OW","created_at":"2026-06-23T03:14:14Z"}],"graph_snapshots":[{"event_id":"sha256:9f705d251d28f14fa19e6f31767a746eb8903fc1254957104009571ba7d261a6","target":"graph","created_at":"2026-06-23T03:14:14Z","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/2606.23229/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Value iteration (VI) is a cornerstone of dynamic programming that allows computing near-optimal feedback laws for general plant dynamics and cost functions. In practice, however, it must be stopped after finitely many iterations. This raises the question of when to stop the algorithm so that the resulting policies and value functions achieve desirable properties, like given near-optimality bounds and stability. In this context, we study deterministic, discrete-time systems with infinite-horizon (possibly discounted) costs whose inputs are generated by VI. We equip VI with a generalized stoppin","authors_text":"Dragan Ne\\v{s}i\\'c, Jamal Daafouz, Lucian Bu\\c{s}oniu, Mathieu Granzotto, Romain Postoyan","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-22T12:16:19Z","title":"Value iteration with stopping criterion: finite iterations, stability, and near-optimality guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23229","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:4f89b5a869747a7f1c1b2cf1fc0e2ce10ac99163f75c4013d82a2657f8664fa5","target":"record","created_at":"2026-06-23T03:14:14Z","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":"65a751a7971d2bdf71b858808928fe8e80622484c427fa595bb4a9a83e4c6bf3","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-22T12:16:19Z","title_canon_sha256":"92790608df8dd473d5da6abe8f1a6d9e939ace3ef91151fd3c94b727ab23ccdb"},"schema_version":"1.0","source":{"id":"2606.23229","kind":"arxiv","version":1}},"canonical_sha256":"225dd669d6fd02a3a98e401153f89674256463eb4061437a6e8cf8281d90f0e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"225dd669d6fd02a3a98e401153f89674256463eb4061437a6e8cf8281d90f0e3","first_computed_at":"2026-06-23T03:14:14.361486Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:14:14.361486Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Hzu+Ae90elmqZfrJ54eBcAaKMDWYRpHkAyep++ugsY44dFF0HC9DJY/vkids6PX/IFB6lHIxl2rNUvCI0+eXDg==","signature_status":"signed_v1","signed_at":"2026-06-23T03:14:14.361931Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23229","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f89b5a869747a7f1c1b2cf1fc0e2ce10ac99163f75c4013d82a2657f8664fa5","sha256:9f705d251d28f14fa19e6f31767a746eb8903fc1254957104009571ba7d261a6"],"state_sha256":"4adc2c55da596a06d59c0ef5ce4ad1c568a484e05a0b5f24bef657f618804401"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6K2chlzOJf8Mc9seJKbAw27sQNeRJ7cCTzwQPtLL6pbcIPsWd/mE/BJE2iPruN1+QY4EUnakRZAtn6z10cleCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T12:54:28.400730Z","bundle_sha256":"906a38661d0749a941d697446d3fbc963beca7c0b04a7f73ffde9f633c1a7453"}}