{"as_of":"2026-08-21T12:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d152f1aa75de18af523403ba3f542e58f39fb815d4b83de780e5680e79ddde4a","coverage":[{"denominator":46,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T22:29:34.300454Z","state":"measured"},{"denominator":46,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":46,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/2502.04530/citation-record","integrity":"/paper/2502.04530/integrity","json":"/paper/2502.04530/citation-record.json","paper":"/paper/2502.04530"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T22:29:35.100054Z","title":null,"venue":null,"work_id":"47661660-8370-4096-b880-5b0896b057a0","year":2022},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.080353Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:402e3f968232aaf4b8556db88f13397b6fcf77abe5f4142e85a9b479cfb45611","observation_id":"10666621-c1cc-4505-8d23-d8a8e08de7e5","resolution":{"observed_at":"2026-08-08T22:29:35.107019Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:35.084334Z","title":"Probabilistic model checking and non-standard multi-objective reasoning","venue":null,"work_id":"2bd8a645-c084-4bb8-9bcb-5525b2458041","year":2014},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.086461Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:a83d78b5a38ad258b42d664cc877488af9bb05809c909bb9ba5cf185891af574","observation_id":"67d5ac93-6799-48ed-a53b-1be488c37675","resolution":{"observed_at":"2026-08-08T22:29:35.089441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:35.067170Z","title":"Model Checking Linear- Time Properties of Probabilistic Systems","venue":null,"work_id":"83c6b4f7-5910-46c3-b7f3-2950254800c6","year":2009},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.091530Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:eac481b2ca4f7aa6227293e40fd86b3617fd2793eb0be83f9095bf7d7cf5877a","observation_id":"8912fe63-e431-419a-8173-9e032a901bd0","resolution":{"observed_at":"2026-08-08T22:29:35.072760Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:35.051482Z","title":"Principles of Model Checking","venue":null,"work_id":"847d8e10-a244-4579-a005-2cfbf1cdbe02","year":2008},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.096600Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:e4ed47a9691bdcd9eeb4f16078ad4abd0d6c9f84dec90e51b219333da6948da3","observation_id":"d24cb660-1d19-4344-b9ca-24e4bbcd08bc","resolution":{"observed_at":"2026-08-08T22:29:35.056185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:35.036305Z","title":"G., D ABNEY , W., AND MUNOS , R","venue":null,"work_id":"1991e752-23d5-4d44-8f90-415850d05897","year":2017},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.102310Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:e0b1d21f5d415981a624d6e19ef80fa72819d6a83adca5cc856267f12e11d9f9","observation_id":"97641036-d8e1-46b5-9012-2cc01e024127","resolution":{"observed_at":"2026-08-08T22:29:35.041141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:35.019179Z","title":null,"venue":null,"work_id":"202cf165-5a67-4d15-9eb1-a3c43d807b0a","year":2012},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.106897Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:8ac0f833f0ab9733343bf31306f917f5d2935c46e6eb471e935078e3f082389b","observation_id":"33059f91-f8ca-4815-92d5-829a6b103cf8","resolution":{"observed_at":"2026-08-08T22:29:35.024368Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:35.002469Z","title":"Self-adaptive software needs quantitative verification at runtime","venue":null,"work_id":"2bacc8c7-cec3-433e-854a-3a599bbe1460","year":2012},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.112144Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:85decdf1bf3f2eb377704e5723240f086b9454a2ac83642640491a70c808b072","observation_id":"29982cb1-010d-4442-8ce3-af37cb5e5568","resolution":{"observed_at":"2026-08-08T22:29:35.008387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.987456Z","title":null,"venue":null,"work_id":"54ea3390-f7a8-410c-89d9-d0ac0ccb1d2c","year":1996},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.116867Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:7b360f35ff23c497e1a257035da4941721774eaf83da30f76bb0b72613a527ac","observation_id":"3e2cfed7-ca3b-4a5c-b03b-ecc3a6d1a22b","resolution":{"observed_at":"2026-08-08T22:29:34.992359Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.971512Z","title":"Introduction to stochastic processes","venue":null,"work_id":"6b219926-8e48-46fd-88df-fc25fe0a6765","year":2013},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.121497Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:4a91139848fc6788d9060ac93a1b52afb0535d6ecc7888796db40e26e14868bf","observation_id":"1c13e9dc-9216-4c1f-bb04-ee0bbf879e65","resolution":{"observed_at":"2026-08-08T22:29:34.977303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.955873Z","title":"Implicit quantile networks for distributional reinforcement learning","venue":null,"work_id":"79ba0c50-a9c6-4953-b660-ca30dfe59554","year":2018},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.126283Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:830dfd06724db5fad43415d0afa4d4a76e571d1d96dc9b0de91d026bdd3b1cc5","observation_id":"f37a3539-0fdf-4451-a21b-99794655cd6a","resolution":{"observed_at":"2026-08-08T22:29:34.961225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.940591Z","title":"Distributional reinforcement learning with quantile regression","venue":null,"work_id":"b49b6b08-ea89-4dd6-9ec4-245747093e31","year":2018},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.130930Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:b9b8f58cb58c3c92810b3f14bd4e32f41965fc486d21025b967febfbab13ad1b","observation_id":"1491ff3c-c51b-42e2-937e-5bef610afb54","resolution":{"observed_at":"2026-08-08T22:29:34.945715Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.922714Z","title":"Distributional proba- bilistic model checking","venue":null,"work_id":"cf388648-9d39-4ade-9e59-7362c62151e4","year":2024},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.135641Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:6b99fff92ba93558293207fe587447e73756ea026556c80c94567cc3b5d2f13b","observation_id":"22edc6fe-a72b-4130-bc3b-f96897a01f23","resolution":{"observed_at":"2026-08-08T22:29:34.929146Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.907933Z","title":null,"venue":null,"work_id":"2e1e5d3e-2d8a-4a96-8928-261d5c17d453","year":1909},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.141508Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:5489f37a40ae72133ebbdbbbb50874fc5ae1292e565ad2ebf6dff16683f3c29b","observation_id":"dd9bebd6-ab6e-45f7-944b-671699ac1bf5","resolution":{"observed_at":"2026-08-08T22:29:34.912580Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.891572Z","title":"S., M AJUMDAR , R., P RABHU , V","venue":null,"work_id":"9bdfdcdb-0d2c-4cc7-82d4-ebe888093046","year":2017},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.145975Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:33da3c054f30c80053fee3e711763931e83f85377e7de6a1dd3306e4a459f143","observation_id":"73156551-1fe7-4c69-80ec-bd561a8dd3bb","resolution":{"observed_at":"2026-08-08T22:29:34.896747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.874807Z","title":"Supporting self- adaptation via quantitative verification and sensitivity analysis at run time","venue":null,"work_id":"f8e87c5d-9e6c-47e6-94ab-06a66906dd7b","year":2016},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.150208Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:79799ab50c4aeb077ea2635311a004d26c505a3fde38840089ace601567cb221","observation_id":"ac49130c-6976-4c7c-85ae-f639c0b74a52","resolution":{"observed_at":"2026-08-08T22:29:34.880644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.856145Z","title":"Quantitative multi-objective verification for probabilistic sys- tems","venue":null,"work_id":"11efb473-57ec-4ac5-9603-3c3c144b3665","year":2011},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.155087Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:fb15e3a377b35481e5e6f8bf65037df17cf69a1ce7611668ef5303da9f7f471f","observation_id":"ceb47a32-2cf8-4d8a-85ee-f3ebd358d535","resolution":{"observed_at":"2026-08-08T22:29:34.861284Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1206.3257","last_updated":"2012-06-13T15:31:57Z","snapshot_observed_at":"2026-08-15T00:57:00.562636Z","submitted_at":"2012-06-13T15:31:57Z","title":"Constrained Approximate Maximum Entropy Learning of Markov Random Fields","version":1},"cited_work":{"arxiv_id":"1206.3257","doi":null,"metadata_source":"pith","pith_arxiv_id":"1206.3257","snapshot_observed_at":"2026-08-08T22:29:34.337206Z","title":"Constrained Approximate Maximum Entropy Learning of Markov Random Fields","venue":"cs.LG","work_id":"948137d1-0f3d-4495-a064-9d6260db3f0c","year":2012},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.160369Z"},"links":{"cited_paper":"/paper/1206.3257","citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:70281d454747c52dfeedafb5f5a73b533d5944338cb18f1137219db6cdceb603","observation_id":"facf8118-f9c6-45b2-9f22-21acd20e89a5","resolution":{"observed_at":"2026-08-08T22:29:34.344746Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.841156Z","title":"The truncated stieltjes moment problem solved by using kernel density functions","venue":null,"work_id":"aafcfd3b-9f2e-4e00-be5d-61658d4f9e4c","year":2012},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.165553Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:9d1b3fe00a4d34f24356ab55f173e2f95f4d1720893b4cf2ca1d6fccd19c24c5","observation_id":"54ac5975-4ef4-4c77-998d-f157df612766","resolution":{"observed_at":"2026-08-08T22:29:34.846222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.825592Z","title":null,"venue":null,"work_id":"4e99f609-dc26-4482-973d-f4b536d5f031","year":2002},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.169876Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:bae64f95b308939a5513b7f5b386e85c5134c6f1c4c407691a63f679a0693fa9","observation_id":"1ef2a7da-d6a9-489e-966b-f7cebd874dcc","resolution":{"observed_at":"2026-08-08T22:29:34.830310Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.808220Z","title":null,"venue":null,"work_id":"7905d124-47b0-4d8f-9425-b0f61a3066c7","year":2022},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.174476Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:65f7f93470f728d6fb50e4cc6752ffc0f5ca3523520c6763bf5560e6b4c14d98","observation_id":"db424a24-6e4e-453a-8ee9-c6c5170c13d3","resolution":{"observed_at":"2026-08-08T22:29:34.815242Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.791691Z","title":"Gurobi Optimizer Reference Manual, 2024","venue":null,"work_id":"62bc87cb-962a-4f68-bc0e-0aa540dadd50","year":2024},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.179359Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:9a815dddc6a83a057afa6bd936ff49530bcb89f8921d7c57df8df31d24e1949a","observation_id":"17605bf1-8155-4b2c-bb86-2e22c4a9a822","resolution":{"observed_at":"2026-08-08T22:29:34.796604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.776184Z","title":"R., M ILLMAN , K","venue":null,"work_id":"d263ce90-c5ab-4cdf-be88-b93449b33b27","year":2020},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.184909Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:a2d12d8baec2a8f4d32bb9371f9af2f2cde05a976158103969ec862593501f10","observation_id":"0de8478d-8a9a-48b7-be35-a381f200972f","resolution":{"observed_at":"2026-08-08T22:29:34.781245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.759003Z","title":"Continuous approximations of discrete phase-type distributions and their applications to reliability models","venue":null,"work_id":"a145ae51-7b41-42d9-b392-8aa718e0a1b7","year":2022},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.189682Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:3837047763a4855283271d26ce034d8e64acfbf820c4ae744aeb76dfd1cbb634","observation_id":"0d409a1d-1237-4ef8-aa2f-d47c3acbe35c","resolution":{"observed_at":"2026-08-08T22:29:34.765405Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.742794Z","title":"Approximate probabilistic model checking","venue":null,"work_id":"11c88b58-48ed-4c73-9797-d0298d4672be","year":2004},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.194196Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:b465fd8742e9b9c19e9670c88ca5c20284444b74c21a3a66639b99277d422d83","observation_id":"0c45b26c-90f3-48b4-bd80-8db4c0bcbe6a","resolution":{"observed_at":"2026-08-08T22:29:34.747929Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.726812Z","title":"Probabilistic self-stabilization","venue":null,"work_id":"1221040a-6f9d-445a-9080-747c15cf60df","year":1990},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.200077Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:391db091ca2294bf9af6557188dd129b598735009d0205a9268a13d7226e9fa4","observation_id":"29383f11-301e-44db-be3a-d7849acaf580","resolution":{"observed_at":"2026-08-08T22:29:34.732496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.704758Z","title":"A kolmogorov-smirnov type statistic with application to test for nonlinearity in time series","venue":null,"work_id":"b4ce2b4a-7186-4ff3-a875-a3f3e8e94fc9","year":1991},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.204551Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:e1369b3e31781c74237d22bf5340269354ba4c1f18de6e42c8c445c2ccbc17ff","observation_id":"7e513b93-d4eb-4b9e-a178-2ed512cbdc62","resolution":{"observed_at":"2026-08-08T22:29:34.713145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.682061Z","title":"Techniques for the reconstruction of a distribution from a finite number of its moments","venue":null,"work_id":"b3a22b19-6b33-4a85-b865-25d06c3c815a","year":2007},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.209126Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:c196be9954cbc40e12d6700a3bdd58fa4ac61c8d8fbc0705a90b6b4a4da1a5ed","observation_id":"bd389011-31ec-40c9-9dde-e78db7cae941","resolution":{"observed_at":"2026-08-08T22:29:34.688979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.662507Z","title":"A., AND TAAFFE , M","venue":null,"work_id":"17f60a30-99f8-40fe-92c7-61dbc4c50431","year":1989},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.213635Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:af582918fc7d987a7e8266965f3a34191539e46863ff75ee625b95fe09ddf635","observation_id":"197f0b44-0588-4656-a1ec-27d137a93ae3","resolution":{"observed_at":"2026-08-08T22:29:34.668681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.642408Z","title":"The probabilistic model checking landscape","venue":null,"work_id":"73fd38f9-b08d-4dd4-b1eb-aae4ae749d76","year":2016},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.218481Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:a823bf41be85375085f25466a591ee7910b723c3a3bca3b8ccbf956f88dba400","observation_id":"11e26b31-0fd1-41c1-9648-d841b7b762cc","resolution":{"observed_at":"2026-08-08T22:29:34.648732Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.611684Z","title":"E., AND PAPPAS , G","venue":null,"work_id":"5c34dcb9-eee0-4a49-905c-3e9717c5c193","year":2009},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.224024Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:c4b037df5eb7e0f3328b955f6f0672926b3833cc38e416523a411960798690c9","observation_id":"b740b40d-03f5-455b-8e77-2944904f76f7","resolution":{"observed_at":"2026-08-08T22:29:34.618463Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.595953Z","title":"Prism: Prob- abilistic symbolic model checker","venue":null,"work_id":"d6aa4db5-dc35-49cc-a321-5395f6e65139","year":2002},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.228501Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:ddffebbc8584cfc50e488d176c8eb51f153afba62855dc01e1a2cceefbf48eb4","observation_id":"28a4a908-48c0-487d-b065-5fd130d878c9","resolution":{"observed_at":"2026-08-08T22:29:34.601087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.579588Z","title":"Probabilistic model checking and autonomy","venue":null,"work_id":"3bfbb629-e801-471b-af8f-725e4dfccab2","year":2022},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.233080Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:cfe1b27ee450291950a48a723eab2c9668dad6899b57fff14892a7831370f5a7","observation_id":"4683e296-3f3c-41cf-b823-9333dfb9d325","resolution":{"observed_at":"2026-08-08T22:29:34.584962Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.564777Z","title":"C., AND LIN, X","venue":null,"work_id":"1aa4b606-8cc7-4d45-83e0-8f61b635813f","year":2012},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.237697Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:c8b7dca31001940b8bf5cbc1835680850868d60116f7d129bfcfee8e92d0c7b0","observation_id":"28531887-ea21-4bab-ac2a-4b00859ab1bb","resolution":{"observed_at":"2026-08-08T22:29:34.569529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.548531Z","title":null,"venue":null,"work_id":"feff587d-e589-4b91-be77-6c014e59aead","year":1951},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.242240Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:9f61137ec49d19ee8c1f6bb9c06a80ed891bd0d6c6f67f17762634862d0034e7","observation_id":"4e5c7893-631c-4cf8-8595-eeb9a34dc8b4","resolution":{"observed_at":"2026-08-08T22:29:34.553995Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.533297Z","title":"Results on the quantitative µ-calculus qm µ","venue":null,"work_id":"623dc450-34a3-4cf4-96f2-b355d4d0b883","year":2007},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.247025Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:f04115d7167d24f2e7ca8800f716553c1f8caea86909628db419552dfe1e9ae6","observation_id":"83fba07d-5970-4dff-a979-07581fb75f0a","resolution":{"observed_at":"2026-08-08T22:29:34.538191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.517663Z","title":"R., AND PAPANICOLAOU , N","venue":null,"work_id":"f0bae38d-31fb-42b4-9711-a3e1f86d4567","year":1984},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.251496Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:cb2c04feeea32ee63ea2dd227c5bcb548b1e380faa932be26730c4c8fbc5ceb1","observation_id":"15e43a29-bb09-4451-9b34-e7721bb6ea3a","resolution":{"observed_at":"2026-08-08T22:29:34.522985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.500298Z","title":"M., AND HAKOBYAN , A","venue":null,"work_id":"c71e3727-d899-4054-b588-b072e879eb83","year":2009},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.256423Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:2a472571d8a5f228312a08feec66f7a0ee8d3f02bb25859d38b04764be6f4ffb","observation_id":"b9b4a6df-5d08-470e-907e-bd948632f7a0","resolution":{"observed_at":"2026-08-08T22:29:34.506558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.484809Z","title":"Monte carlo based statistical model checking of cyber-physical systems: A review","venue":null,"work_id":"d1dad86b-3d82-4749-b356-c461e8375bd5","year":2020},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.261106Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:95bc86295c35a3e189cf63e1b793b6e3a8ea3e0f8603db5d28ba942347757e7d","observation_id":"d8a9b349-8652-4ed4-8418-37d8bc47c869","resolution":{"observed_at":"2026-08-08T22:29:34.489674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.469045Z","title":null,"venue":null,"work_id":"a92839b3-486f-4d57-b4b7-bcc16f82884c","year":1990},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.265757Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:4bd36496778c8f3b0475b412a7a72d804421f2bcb838ef88da9c51e5472c78f4","observation_id":"646aac35-c111-4cf6-bf78-9ad0c4f2302c","resolution":{"observed_at":"2026-08-08T22:29:34.473790Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.453041Z","title":"G., Y ANG , M","venue":null,"work_id":"c6cf1172-31a7-4ff9-9277-a4ae7de38d34","year":1984},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.270311Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:33765d1e3bcca4fd929ae64437ae11fd8fe0a9103688f6fb45b4c5e259bbdffb","observation_id":"84af6a75-aff9-4760-9749-5bf7323571bf","resolution":{"observed_at":"2026-08-08T22:29:34.458379Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.437761Z","title":"Meda: mixed erlang distributions as phase-type representations of empirical distribution functions","venue":null,"work_id":"ddddb6cc-e14c-48e2-a13c-3e7caf0621fd","year":1992},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.275284Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:8e26ea97b73d1d58c923c0c8441451fe425e3ffd91eab038326e704c6dd5ed28","observation_id":"251a496a-ba31-4678-bb7a-e4e2b8af1d70","resolution":{"observed_at":"2026-08-08T22:29:34.442818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.419878Z","title":"Stochastic Models: An Algorithmic Approach","venue":null,"work_id":"8519ee81-d304-4afa-89fc-63b0e0d277ff","year":1994},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.280773Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:ff68af37594924b268c68c4d33d4a28393265902a51b865fa023707d1f6bee1c","observation_id":"bf8bcf0c-f356-47ff-98bb-2cef816bfefb","resolution":{"observed_at":"2026-08-08T22:29:34.425558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.404058Z","title":"Phase-type distributions & mixtures of erlangs","venue":null,"work_id":"569b00b1-a25d-4f0f-9786-0273e285f136","year":2013},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.285223Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:27bf54b8688b771179c7b09af48a619f71c0e07ec5d3442d8b89e33979b236b5","observation_id":"0cae8962-af59-4b7d-b2c7-68ec4426a3d5","resolution":{"observed_at":"2026-08-08T22:29:34.408998Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.388425Z","title":"Fitting mixtures of erlangs to censored and truncated data using the em algorithm","venue":null,"work_id":"a7c5e9bc-b765-413c-a139-c5fac5e0be13","year":2015},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.289922Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:a03250825634e2471a8b2600442065434f2fb13a8b7ff4a3af15d02cf4647b3c","observation_id":"3f48b1ba-9413-435e-9213-762e3573448c","resolution":{"observed_at":"2026-08-08T22:29:34.393479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.371865Z","title":"E., H ABERLAND , M., R EDDY, T., C OURNAPEAU , D., B UROVSKI , E., P ETERSON , P., WECKESSER , W., B RIGHT , J., ET AL","venue":null,"work_id":"7a51b48f-a1e7-41c1-9096-ea8181d23ac3","year":2020},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.294946Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:66cc524316a2eb35d5e8ec6efc890898cfdb6171c4be6629734eaffdb90b151c","observation_id":"bda701fb-c7e6-4d98-8758-3d46c02d6135","resolution":{"observed_at":"2026-08-08T22:29:34.376778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-08T22:29:34.356428Z","title":"U., DE LA IGLESIA , D","venue":null,"work_id":"1b90b699-da24-4317-b60c-52e88dde6965","year":2012},"citing_paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-08T22:29:34.300454Z"},"links":{"citing_paper":"/paper/2502.04530"},"observation_digest":"sha256:2d65dfc8a502ba7b356070cfaa90337e4fec1bbfc6a38442b6fcebe54cc35d49","observation_id":"d3729491-d5aa-4eb9-bce6-734ce430c7b4","resolution":{"observed_at":"2026-08-08T22:29:34.361212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.04530","last_updated":"2025-02-06T22:03:18Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-21T05:37:05.148103Z","submitted_at":"2025-02-06T22:03:18Z","title":"Robust Probabilistic Model Checking with Continuous Reward Domains"},"reference_resolution":{"displayed":46,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":1,"verified_fuzzy":37},"total_outbound_references":46},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2502.04530."}