{"as_of":"2026-08-13T03:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8ffb569f7a1702a17acb0d819658e8e3376340adf1c9ac1de4d11b971804dce3","coverage":[{"denominator":56,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":56,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T13:09:46.086960Z","state":"measured"},{"denominator":56,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":56,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.16564/citation-record","integrity":"/paper/2411.16564/integrity","json":"/paper/2411.16564/citation-record.json","paper":"/paper/2411.16564"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:45.803351Z","title":"MIT Press (2008)","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.803351Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:5b76337e7326859155f03d4f7c2f9c1b38018bcef560e5738243b2df2e06a83b","observation_id":"920f29f5-c364-464f-af3c-daeaf7299887","resolution":{"observed_at":"2026-08-12T13:09:45.803351Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.995198Z","title":"Discrete Mathematics98(1), 75–79 (1991)","venue":null,"work_id":"9bde6493-9881-4149-aea1-d2cac28f507c","year":1991},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.809310Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:3fa91bc2f1285dbe5b7f907a6f152eaac81956db505fae6dff1d2c4e16b11bd2","observation_id":"247aad3f-a7db-4178-9bc7-55eb9ea4f26b","resolution":{"observed_at":"2026-08-12T13:09:46.999271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.978386Z","title":"Cambridge University Press (2020)","venue":null,"work_id":"353c23ad-a0b0-4143-867d-99dee2dd40a2","year":2020},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.815341Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:dc25db90e188157197f0c6083423db46e7fdb4a78e268ccca7bd05d87f48e47d","observation_id":"8230bdb0-9077-493e-b688-51aa69faa1bd","resolution":{"observed_at":"2026-08-12T13:09:46.983904Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.962218Z","title":null,"venue":null,"work_id":"2ce372ec-9825-4f8b-b831-6138eeb1d278","year":null},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.821561Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:6119c9abc117515a887e34f44e4757e175b317c5930a95fa3a7459ca309629a0","observation_id":"ed65fe60-0588-458e-aa1b-960241f3578f","resolution":{"observed_at":"2026-08-12T13:09:46.967392Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.945716Z","title":null,"venue":null,"work_id":"261895ba-8d98-403d-9718-1b6b4bdff080","year":2024},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.826454Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:b549f383a14521f921ce652487289f052b3fd2362b2622d7c29b184e746915ac","observation_id":"42d10660-f73c-467c-ab1b-4b1256e9bc45","resolution":{"observed_at":"2026-08-12T13:09:46.951430Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.929712Z","title":"In: TACAS","venue":null,"work_id":"625aa04c-3213-44dc-b527-ce305f30f409","year":2023},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.831240Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:62076d97bc0463ba372c873901b0296936242cc99894f572c5dcc8803f01cb2b","observation_id":"bb6c4ed1-8330-4e3c-a336-62b01a720cf8","resolution":{"observed_at":"2026-08-12T13:09:46.934834Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.912897Z","title":"In: CAV (2)","venue":null,"work_id":"ae5d0202-447b-42c7-afd1-cd2a2cc2ad31","year":2021},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.835797Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:0e19625e91a9adf3ed8c3754f63c1d6634ef8d2aba405522e04416c3a0fccb44","observation_id":"10868404-48c8-4ea9-baf0-a5942d39c022","resolution":{"observed_at":"2026-08-12T13:09:46.917912Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.896755Z","title":"In: CAV (2)","venue":null,"work_id":"93cbdb80-a56b-4d82-a029-a8ae4a64e635","year":2020},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.841186Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:15dedbf30939c37862589506144d6f4ae7d013e8912fdf2909a2477228781a55","observation_id":"aa94f0df-1588-4ca9-9650-5e6ce4e160a7","resolution":{"observed_at":"2026-08-12T13:09:46.902087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.881684Z","title":"In: ESOP","venue":null,"work_id":"138c223a-cd31-4cff-b59f-8e8d9d4b1ba1","year":2018},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.845392Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:585e162b36a10b81ab4acad1520bfb94d8a18fb8463b21bfbaed7edeb33bfd4e","observation_id":"07c152f1-2887-40ff-9768-22b27b0946a9","resolution":{"observed_at":"2026-08-12T13:09:46.886969Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.867308Z","title":null,"venue":null,"work_id":"a7687b52-de2c-4236-b4d7-e0e965b81963","year":2021},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.849861Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:d03399148c1705fd033c0c7bf3c9c63e564b38d984bbf1a89d14a8d1dd015ecc","observation_id":"f8c45b03-ccc0-4c67-8972-7bfb00531d78","resolution":{"observed_at":"2026-08-12T13:09:46.871778Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.850998Z","title":null,"venue":null,"work_id":"e2b0f85c-964d-42de-a202-151b36614883","year":2019},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.855321Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:3138066d83a2b3d98ae26695d12533055fee5594284185cb075d3ffac374b235","observation_id":"9d4ab519-0050-4e85-85dc-c26b6e2225c3","resolution":{"observed_at":"2026-08-12T13:09:46.855776Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.834028Z","title":null,"venue":null,"work_id":"a38c37f6-6534-4627-a834-6a49c055f521","year":2023},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.860505Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:b1fba1600ddfee0c621e574d1daf77a504f7fd754bf6fa989f809de1eaf4afec","observation_id":"3cf86bb8-5781-455d-9276-abdf2d46a40e","resolution":{"observed_at":"2026-08-12T13:09:46.839560Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.816482Z","title":"Indiana University Mathematics Jour- nal 6, 679–684 (1957),https://api.semanticscholar.org/CorpusID:123329493","venue":null,"work_id":"2df73768-6a44-4278-9df9-afb227b66809","year":1957},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.865746Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:7e81b2d14c888736f73ee0e04f37836a23e20b7250fc2049f0877e943f8db9d9","observation_id":"a877a315-f835-4b49-9861-b4ac5857ca42","resolution":{"observed_at":"2026-08-12T13:09:46.821507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.800859Z","title":"In: LICS","venue":null,"work_id":"35b0ee9e-fb92-47f7-b1c5-a6c4728c0ac7","year":2023},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.871546Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:5e87c21a87ca56dd9e12f5580be3dbdeaa9f21af959f760d1afc5edb3bf1dba8","observation_id":"c4da2893-3f94-4b39-ba7a-c962c4066c27","resolution":{"observed_at":"2026-08-12T13:09:46.806119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.785156Z","title":"In: CAV (2)","venue":null,"work_id":"ac67e16a-677b-4a59-9ff6-eb44f018b428","year":2017},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.877075Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:ee291974b3af206cfd787b1f8a85c9519989a808f00279e7ea6de8886b518844","observation_id":"253c41e8-6029-48d4-b973-a6c8821fe138","resolution":{"observed_at":"2026-08-12T13:09:46.789818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.769339Z","title":null,"venue":null,"work_id":"cfaa06a7-9327-45c0-ba23-6e7618446584","year":1975},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.882338Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:1812a9f973a38d0cd3927b955c4e0e2aef3f6302f4a6a9a2c5600273571b7d51","observation_id":"599aa2f7-495a-4eac-a8b0-6d80fcb35c33","resolution":{"observed_at":"2026-08-12T13:09:46.774084Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.754270Z","title":"Springer Publishing Company, Incorporated, 1st edn","venue":null,"work_id":"88ba3058-9c62-4495-ab9c-03e64c547442","year":2009},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.887506Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:451a50ffa4122c97786035dfaf4305ab8efbdba7395e9ed6f4a58b22e77109b4","observation_id":"a3be818f-3ca9-4b3f-b4db-511dbdeeffec","resolution":{"observed_at":"2026-08-12T13:09:46.759036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.739627Z","title":null,"venue":null,"work_id":"7c4998ff-d4e3-45d8-bbae-8e391fc6df4e","year":1993},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.892661Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:f3c75d4ff90afcd663355a52032d962ec0efeb143fba2a5f2000c1b1252d9268","observation_id":"517add75-846b-4364-833c-8fa3391ce19c","resolution":{"observed_at":"2026-08-12T13:09:46.744080Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.724571Z","title":"In: QEST","venue":null,"work_id":"1d8774ba-29c6-47d8-9079-0c8a3155bb11","year":2013},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.898244Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:9f5d212bff00e73569b85f1d46dff09c776a4616c160d5ae50b1cc8d0cd2561a","observation_id":"2fa09ac7-1cd5-43a1-ade9-297b967c8d9e","resolution":{"observed_at":"2026-08-12T13:09:46.729218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.708673Z","title":null,"venue":null,"work_id":"b3d7d919-1251-45c1-9132-771f7ebd7063","year":2014},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.903178Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:3925b6c71c71eb06a200c489c5ea6abeb74c3108b3a8de27858cf65412b1653a","observation_id":"447b8963-8661-454a-8d1b-3cccd875518e","resolution":{"observed_at":"2026-08-12T13:09:46.713248Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.692993Z","title":null,"venue":null,"work_id":"614a720a-3914-49c8-9551-f4a703ca4119","year":2018},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.908384Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:8dde7db6a007b74c10c573d45135de8cd06be249d8f96a1807ee16f7f5a0ea23","observation_id":"72795cf1-a228-4c4c-afb5-837f39e78e6e","resolution":{"observed_at":"2026-08-12T13:09:46.698131Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.675838Z","title":null,"venue":null,"work_id":"fe3aa650-31ae-4ed3-b99a-3a0d1850a82d","year":2020},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.914546Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:310b738879cc2b940c572edac9da94a3ab34caec1c39be931e34bd116301f2e4","observation_id":"d931aba6-668b-4ed9-b9d0-7864cbeda533","resolution":{"observed_at":"2026-08-12T13:09:46.681228Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.659468Z","title":"In: CAV (2)","venue":null,"work_id":"30023ae1-b755-47f5-af2b-b0264f0ef00b","year":2020},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.919463Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:1a46393e176bf8165b6b2bfc040d38d15e4675bfadd71df0927dc89d8ce6e39c","observation_id":"9350c4ca-a9bc-4a1b-a628-6f6bcee46c34","resolution":{"observed_at":"2026-08-12T13:09:46.664263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.644897Z","title":null,"venue":null,"work_id":"b299c35f-0b15-418b-b38f-c1464ae31e72","year":1969},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.924495Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:3e45fc9ada01ee2d783f9e99a30ef3926652cc41211ae63f05dc19699e26b533","observation_id":"833a7a57-55bc-43d8-ab91-dead121fb36c","resolution":{"observed_at":"2026-08-12T13:09:46.649440Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.630937Z","title":"In: MFPS","venue":null,"work_id":"95b3dd05-44f0-4789-aa6e-33a8b1bfe5dc","year":2015},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.929194Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:3d2b7c40e7e4e3f924b16a42d2ee988eb041286961f921ef5c14f98b067fe70c","observation_id":"22543179-705d-4411-af0d-2897b00d9e9c","resolution":{"observed_at":"2026-08-12T13:09:46.635220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.615696Z","title":null,"venue":null,"work_id":"44b8a571-d7a8-4284-a761-76bbe6d79796","year":2019},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.934398Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:6430e6d38eb0dd8c8301200958e8f35d3781b10938133a611e10065cb58842ab","observation_id":"9182a34a-9824-4c56-8dec-6fa6dad24946","resolution":{"observed_at":"2026-08-12T13:09:46.620655Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.599348Z","title":"In: MFCS (1)","venue":null,"work_id":"bb461a2f-8fcd-4026-aafb-704c42d4a50e","year":2015},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.939373Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:b713715a092f4e6e6e428081468be027b9db6a265340a230a97dcd9d3dfd3d5b","observation_id":"1af99cb3-5d61-489a-8115-ef33dc686b53","resolution":{"observed_at":"2026-08-12T13:09:46.604326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.583279Z","title":"In: LICS","venue":null,"work_id":"4a78499b-01ec-4c4e-808e-c3fe32ccf595","year":2017},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.943859Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:d840708f9b2f002e8c87609e47cbe44753bc6d2d19d65dfe32b4e89ddfcafc87","observation_id":"b55d3af0-6c52-4beb-8b96-46a0da89f1de","resolution":{"observed_at":"2026-08-12T13:09:46.588114Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.565863Z","title":"Acta Informatica56(3), 255–285 (2019)","venue":null,"work_id":"5243e36f-1317-46a3-add9-ad6c37b1bc8a","year":2019},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.948743Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:5e35fb5790f2f6282856d7fc005ad27c971e8ce675c5b112ee1a25ecbdfe9e5a","observation_id":"2db96e24-a580-41cb-9984-c8005e117384","resolution":{"observed_at":"2026-08-12T13:09:46.571346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.548871Z","title":"In: ESOP","venue":null,"work_id":"c19e3773-f29f-4350-80e5-35b1062111b1","year":2016},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.953210Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:ff0989705a1f6975839485c0b0e3f81ec3da66ce1ee6cbd93807845d6f7f61cc","observation_id":"3208b4ac-35b9-4534-a527-3561f6a84f34","resolution":{"observed_at":"2026-08-12T13:09:46.554662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.531479Z","title":null,"venue":null,"work_id":"2e169e18-cc0d-494e-be29-82132b39069c","year":2018},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.958295Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:5d860ea29ac08ffab1b043f773af1fde8214be9a561e22297dfbe752dbb19e42","observation_id":"db14f6b7-dd1c-4c7a-a3d4-18256aed4fb9","resolution":{"observed_at":"2026-08-12T13:09:46.536890Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.513772Z","title":"Annales de la Societe Polonaise de Mathematique6, 133–134 (1928)","venue":null,"work_id":"917a4940-1269-4b2a-8089-399460d1e287","year":1928},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.963202Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:199c844e8b7ddbbf16ac6b5c41b8ad8520c7498e46b3dd8fa23108bf44c4a30a","observation_id":"cf85adca-333f-4627-8cc4-d7781ea705d8","resolution":{"observed_at":"2026-08-12T13:09:46.519918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.499056Z","title":"In: FOCS","venue":null,"work_id":"99e3c057-e0de-4935-8b2f-3bb33d9830c4","year":1979},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.968005Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:2ac20d57a40aead8fe15d44159b7cea5b0a9bc965ce71820b8acf911fc39d04b","observation_id":"d5d0a5c3-9e9a-4925-89e1-be0de560c89b","resolution":{"observed_at":"2026-08-12T13:09:46.503967Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.484384Z","title":"In: STOC","venue":null,"work_id":"add07c4c-c818-4a17-a9e2-91191935d88b","year":1983},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.972694Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:4b5d686711f244aca4cf50953b580e6f6aaef997dc2fad55f664f226dcd1554a","observation_id":"f3e832ae-0989-4387-8be3-b64d94514440","resolution":{"observed_at":"2026-08-12T13:09:46.488860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.467456Z","title":null,"venue":null,"work_id":"6efaaf80-554e-42fd-aad3-10a74cba53be","year":1985},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.977819Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:b0e4e054f0d429a2bb6bc781914eaf3bf19e9180e3384d5a9f91d5b3b82361fe","observation_id":"b510d7d0-02d0-42d6-ac77-74b544aeeaa7","resolution":{"observed_at":"2026-08-12T13:09:46.472671Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.449402Z","title":"In: Computer Performance Evaluation / TOOLS","venue":null,"work_id":"2e20cef3-544b-4c72-9bde-d107252fd8e5","year":2002},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.982843Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:bf7b7dbb355b7ece5e6d44aa0f91f3c749e733bbea2f346241284f4c5b3666b6","observation_id":"279df26f-133d-491c-9daa-3f2f526583bf","resolution":{"observed_at":"2026-08-12T13:09:46.455258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.432286Z","title":"Monographs in Computer Science, Springer (2005)","venue":null,"work_id":"5ad95348-ccf9-4ef8-9698-5ad516e94503","year":2005},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.987346Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:20e5b211e162984017556944c8c49a65603de396545bea6b5e7b674eeea89171","observation_id":"76dac3ae-f7db-42da-bdd2-84b50fd4a690","resolution":{"observed_at":"2026-08-12T13:09:46.438179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.415051Z","title":null,"venue":null,"work_id":"5ff3fd8a-83ea-4e8e-ac08-47126f924753","year":2018},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.993151Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:92d1c47d8a0d581d625ea8fe8257ea40a5282056e8d6fb8412784356968621aa","observation_id":"15639c8b-a797-4e9c-8662-b1152d4ed5dc","resolution":{"observed_at":"2026-08-12T13:09:46.420018Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.397539Z","title":"Machine Intelli- gence 5 (1969)","venue":null,"work_id":"0a126956-959d-41e0-9434-d51e2b3fc2dc","year":1969},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:45.998261Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:934d254f9fb0ea43bd8110d55a3fcf2f7182edfc3f1ceab6f1609d1be3022d03","observation_id":"dcb27d7f-5235-4372-874f-d37430d1f9de","resolution":{"observed_at":"2026-08-12T13:09:46.403432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.382809Z","title":null,"venue":null,"work_id":"e51a2234-174d-4927-9c3e-78c9061fd675","year":2004},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.003830Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:6db91f606886c8d008cf2f2a442c5f389b78e0167592b4f97d234f6b4a867cc0","observation_id":"9d9a3480-dd1f-4f15-a89f-c4c7b33a12a0","resolution":{"observed_at":"2026-08-12T13:09:46.387120Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.008948Z","title":"Wiley Series in Probability and Statistics, Wiley (1994)","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.008948Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:47b5cf0d457ae96315332d12d8367d8f76cafcfd0c1f0cfe5f7c71eb099c81ce","observation_id":"4c9f747e-090d-4fb1-8dc2-b57a2f095034","resolution":{"observed_at":"2026-08-12T13:09:46.008948Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.356523Z","title":"In: CAV (1)","venue":null,"work_id":"f40d163f-c0e2-4bc2-9806-e095ab0b63f6","year":2018},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.014310Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:394343b8b29ad5c2e6be487e30ee895351c3d923130029f7bc8009a5b6b5f93e","observation_id":"d54ab568-80d2-4fae-85fe-ffdedd4146fa","resolution":{"observed_at":"2026-08-12T13:09:46.361125Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.340406Z","title":"In: POPL","venue":null,"work_id":"d32d3068-7864-4839-8dca-8196394cc954","year":2002},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.019216Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:07afc5891cece474048011493081fd68b2e9edff437ba559dd67e4c09f49cda1","observation_id":"fc43fce7-e256-4e87-be56-aa93e25217ae","resolution":{"observed_at":"2026-08-12T13:09:46.346084Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.325237Z","title":"Marine Corps Chevron (1942)","venue":null,"work_id":"d2ed4e5f-b282-49c9-a469-48a11e09fd88","year":1942},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.024486Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:9abd01b88ddea6e3f49bf1a62ebbdded0b793722fbf8b8d4c84af86ce74bffa6","observation_id":"2984ee66-10d8-42d4-aa61-464222a7d382","resolution":{"observed_at":"2026-08-12T13:09:46.329950Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.308073Z","title":"Proceedings of the American Mathematical Society22(3), 704–710 (1969)","venue":null,"work_id":"597b412a-c3b5-4c41-b342-98d400c54893","year":1969},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.029495Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:f0e60faf91677cac86562394c3700ac43344e4f2a6226c801c2acf9c17330e5a","observation_id":"bb5d8d85-1a4d-496a-ad0c-ff468a6d2abd","resolution":{"observed_at":"2026-08-12T13:09:46.314266Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.291372Z","title":null,"venue":null,"work_id":"aff19b59-d401-4aa6-b3e7-0621ec8c6f91","year":2023},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.035736Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:9fec1097b88326626382ba033179338b7cffa1c9158bb463760fd3f95b195781","observation_id":"0f2407c3-f9ef-4639-90a5-75d1ad77bee2","resolution":{"observed_at":"2026-08-12T13:09:46.296273Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.275665Z","title":"Pacific Jour- nal of Mathematics5(2) (1955)","venue":null,"work_id":"a427213c-776f-4dcb-8b4d-5a348d1d6dc4","year":1955},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.040600Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:59abd0d052aff74fd0e584eec7dfca9b5d4abb086d14236813095d24ac84bf5b","observation_id":"924acecb-7c95-47ee-b69d-c77558697f1e","resolution":{"observed_at":"2026-08-12T13:09:46.280637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.259444Z","title":"WIT Transactions on Information and Communication Technologies11 (1970)","venue":null,"work_id":"7d5cd82b-a259-4ffa-9e3b-555013a2879f","year":1970},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.046768Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:e8299632ff531d253b443cce7d29594642c7896aa8ec2843a7e9f53f281fa062","observation_id":"60536cb4-cc11-4811-9f4b-aea25099ae62","resolution":{"observed_at":"2026-08-12T13:09:46.264508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.242719Z","title":"Section 6: The extended real number system","venue":null,"work_id":"3301fe4b-afa0-40be-988d-6adbad69a829","year":2007},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.051756Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:a3bfc692589118961a1b5ab59f02e900f25106ac7ca60bae065b8b4e385068d0","observation_id":"4a3c9184-bb0a-44ab-8496-7a3b5965b005","resolution":{"observed_at":"2026-08-12T13:09:46.248569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.227391Z","title":"initial segments","venue":null,"work_id":"2f2de92c-8bfe-4c93-9476-83bb77ecf0ff","year":1993},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.057310Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:25771f0d0017f7ab3d7a0d50d7fd49a1543154cb9d09813a93906a28d3b2d132","observation_id":"d73f9f96-6b62-4d42-ba33-8eb2a826b5a6","resolution":{"observed_at":"2026-08-12T13:09:46.232484Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.210234Z","title":"MinER=n (M, s,rew)","venue":null,"work_id":"52ee91ba-9638-4f19-94f1-54ee12fbd889","year":null},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.062407Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:e81d25925ef7341fe0c6b91cf5632fb7beb8b42983da081e8e205304c66d65e2","observation_id":"0663ce82-cbf4-4f8a-aa6f-5df603de645e","resolution":{"observed_at":"2026-08-12T13:09:46.215832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.192312Z","title":"consumes","venue":null,"work_id":"3375f804-0731-45de-9198-813a991cbc99","year":null},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.067504Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:7d2e10913dddabeda4d39795595377293ee18ca1656c8652d43bd0f13bdc19bb","observation_id":"e0b77c4e-423d-40d7-975b-97ae43e4dca1","resolution":{"observed_at":"2026-08-12T13:09:46.197669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.175441Z","title":"MinER (M, s,rew)","venue":null,"work_id":"8a8725dd-e15d-4701-a9b7-7cbf3b30bd30","year":null},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.072422Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:7fbee9b5b15c24a04784c35862363fbdbded8d1892604612639fe36f15054e72","observation_id":"e4f34d12-c1b6-4ded-a5a6-9ed9383e6699","resolution":{"observed_at":"2026-08-12T13:09:46.180271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.157921Z","title":"MaxER (M, s,rew) Proof","venue":null,"work_id":"f52f16a9-0cbb-40fd-aad2-85467dc5dc55","year":null},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.076815Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:84899b2c98d91df468088a35dfaf0a2a603bb2109da011fe731ba133583e0903","observation_id":"6d0e752d-f6cb-453c-865e-5696099c6c7a","resolution":{"observed_at":"2026-08-12T13:09:46.162887Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.140753Z","title":null,"venue":null,"work_id":"91a65864-7ae5-4c96-b195-da3a38435ebe","year":null},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.081517Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:ee833c1ca25b0dfb925277f3d2a61928b87e75ad2d0f509152e9c50201d83139","observation_id":"32d0f873-9888-4c4f-8e44-d170cee64eb3","resolution":{"observed_at":"2026-08-12T13:09:46.145737Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T13:09:46.119092Z","title":"Hence, for every a ∈ Act(C1 ; C2, σ), all configurations in Succsa(C1 ; C2, σ) are of the form(C ′ 1 ; C2, σ′)","venue":null,"work_id":"f6496ab7-0b79-4470-8f05-3e03386ee07a","year":null},"citing_paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T13:09:46.086960Z"},"links":{"citing_paper":"/paper/2411.16564"},"observation_digest":"sha256:b5c35806b060153ffa48059e444ca95b145fb1a70bb8a4d05d2df020529df679","observation_id":"eeb0791d-0e71-489c-9aad-9d04bf0ce14e","resolution":{"observed_at":"2026-08-12T13:09:46.126540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.16564","last_updated":"2024-11-25T16:49:10Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T12:56:17.315371Z","submitted_at":"2024-11-25T16:49:10Z","title":"J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)"},"reference_resolution":{"displayed":56,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":0,"verified_fuzzy":35},"total_outbound_references":56},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 56 of 56 outbound references and 0 inbound Pith citation observations for arXiv:2411.16564."}