{"as_of":"2026-08-15T07:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ac2e08d0ba1765bc34f6b59aa37e564e304b74629363999fcb9842f5de36ff48","coverage":[{"denominator":122,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T18:40:09.525833Z","state":"measured"},{"denominator":101,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":101,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-25T23:04:11.950176Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T18:00:01.585135Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"cited_work":{"arxiv_id":"2411.11451","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2411.11451","snapshot_observed_at":"2026-07-04T18:00:01.585135Z","title":"arXiv preprint arXiv:2411.11451 , year =","venue":null,"work_id":"4d175fcf-071c-4305-a809-9fcc30206982","year":null},"citing_paper":{"arxiv_id":"2606.24842","last_updated":"2026-06-23T17:21:09Z","snapshot_observed_at":"2026-08-12T13:41:38.520940Z","submitted_at":"2026-06-23T17:21:09Z","title":"World Models in Pieces: Structural Certification for General Agents","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-06-25T23:04:11.950176Z"},"links":{"cited_paper":"/paper/2411.11451","citing_paper":"/paper/2606.24842"},"observation_digest":"sha256:405aeb45ed6eec1f150c12e4d427ae198d388bc6f5c8bd363d9ad1e777995663","observation_id":"43bfd6bb-32af-4122-9f89-1fecc2b73055","resolution":{"observed_at":"2026-07-04T18:00:01.586881Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.11451/citation-record","integrity":"/paper/2411.11451/integrity","json":"/paper/2411.11451/citation-record.json","paper":"/paper/2411.11451"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:08.852461Z","title":"Automatica 44(11), 2724 – 2734 (2008)","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:08.852461Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:99eca42247b11f7aff895cba24858c9f0d205efa277cd973c032f93004fd7d23","observation_id":"79b74d43-8368-49b6-a90f-03e6dae9bcf4","resolution":{"observed_at":"2026-08-12T18:40:08.852461Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:08.858011Z","title":"Proceedings of the IEEE 88(7), 971–984 (2000)","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:08.858011Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:f178f93ae53739b7195ad7fe437428baf7d74a36984946a8b5c459d18c5129bf","observation_id":"eefad7ba-e8a0-4ce0-a19b-b8441327bcbf","resolution":{"observed_at":"2026-08-12T18:40:08.858011Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:08.988346Z","title":"In: IBERAMIA","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:08.988346Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:cb440ebebbf755912638ead07cb336d972fa71cf809356ae4176d413a9b77400","observation_id":"715fbe5e-5bc1-48d5-9e0d-8c124957f5bb","resolution":{"observed_at":"2026-08-12T18:40:08.988346Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.13583","last_updated":"2024-05-22T12:24:18Z","snapshot_observed_at":"2026-08-13T00:02:14.485580Z","submitted_at":"2024-05-22T12:24:18Z","title":"Tools at the Frontiers of Quantitative Verification","version":1},"cited_work":{"arxiv_id":"2405.13583","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.13583","snapshot_observed_at":"2026-08-12T18:40:10.131926Z","title":"Tools at the Frontiers of Quantitative Verification","venue":"cs.LO","work_id":"40b3728e-8ce6-4fac-a491-b2d1f81b52c9","year":2024},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:08.993796Z"},"links":{"cited_paper":"/paper/2405.13583","citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:5f080b475498c9b96fe77e076476322969e36f1fae4b5dd95edd8f30fed2b399","observation_id":"e14331b1-914c-4bf7-8b72-f4478c0129d2","resolution":{"observed_at":"2026-08-12T18:40:10.138622Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:08.999801Z","title":"In: QEST","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:08.999801Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:2713451f5cdbf229a96f022e3f97fd30b88523fc8b6cff0ff6116020c34a7e3a","observation_id":"160b9ac6-fc27-4770-97ec-d9bbf585dc48","resolution":{"observed_at":"2026-08-12T18:40:08.999801Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.005684Z","title":"In: CA V (1)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.005684Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:2145f320d079be44866c88e1f1dc39e16a1f31711d637cb6de54b39475ecb815","observation_id":"e6a8883c-63a7-4af8-83c3-d68937f19ebf","resolution":{"observed_at":"2026-08-12T18:40:09.005684Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.011414Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.011414Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:32589647a1bd7567b35ac7fe533d1725a0625025f0be52a9adb81a6aa46355ff","observation_id":"e8caef4c-e8d7-4c9b-9959-696f81dcc8b1","resolution":{"observed_at":"2026-08-12T18:40:09.011414Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.016378Z","title":"In: CA V (2)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.016378Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:8e4b05d195269680fe3582451643cee8dba31a0e96c743003a5b16ed620bf1b2","observation_id":"a56d6ace-c21c-4aeb-8934-03bf96eef21d","resolution":{"observed_at":"2026-08-12T18:40:09.016378Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.021391Z","title":"In: AAAI","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.021391Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:780c90b909fc778f7a1bf5109f7c74d584dc4db11817478f9bb87a2c72c409e2","observation_id":"bd181973-3d4e-478f-b818-a5f86f48a69b","resolution":{"observed_at":"2026-08-12T18:40:09.021391Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.026467Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.026467Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:f6f6d143487b3bd13b173977461417e88056a950b19888b8d95bc48985f60ab5","observation_id":"51293175-f3ea-4c0e-8622-73684605f280","resolution":{"observed_at":"2026-08-12T18:40:09.026467Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.032793Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.032793Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:77ef347f0352fecd84fe7871c503fb146feffc933628d0c926142f5c3111eafc","observation_id":"ca086eae-cd6b-4d60-966d-f08b9d0191e5","resolution":{"observed_at":"2026-08-12T18:40:09.032793Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.037503Z","title":"In: FoSSaCS","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.037503Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:6102781650a916b5e9688efe66a375d80158b22c947cc4efedae1a97988c54da","observation_id":"f139cddd-0257-45d9-b031-bc25b4b7adc5","resolution":{"observed_at":"2026-08-12T18:40:09.037503Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.042901Z","title":"In: Computing and Software Science, Lecture Notes in Comput er Science, vol","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.042901Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:da758062ceec3ab57ea00c54abf15ad5cc18b5c8ebbbbc20b9df79a00536a398","observation_id":"b947e52b-315a-4305-bfc4-3f7d4d7ab1ad","resolution":{"observed_at":"2026-08-12T18:40:09.042901Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.048278Z","title":"MIT Press (2008)","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.048278Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:d7d27f2ceaff0bd24e7c2c4fa33619f5b1a71caf4eb25f9015ca7b5af26b58f1","observation_id":"5cba02af-c2ef-4e27-9e36-cd1c980e006a","resolution":{"observed_at":"2026-08-12T18:40:09.048278Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.052671Z","title":"In: CA V (1)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.052671Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:3986d06b962ad2d8a20c5513fe60ae4db16e18cb8f7fca247ecf9ae4712d325d","observation_id":"25adb453-cab7-4b28-8479-53131c7cb418","resolution":{"observed_at":"2026-08-12T18:40:09.052671Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.056859Z","title":"In: NeurIPS","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.056859Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:72c251aaa515c81a2735995e9203b241c24d5bdc692164ef9da7518fe128701f","observation_id":"ac5dacf3-f22e-451b-a7c4-82a40bf14b59","resolution":{"observed_at":"2026-08-12T18:40:09.056859Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.04941","last_updated":"2024-07-29T09:15:29Z","snapshot_observed_at":"2026-08-13T00:12:28.374759Z","submitted_at":"2024-05-08T10:22:49Z","title":"Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs","version":2},"cited_work":{"arxiv_id":"2405.04941","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.04941","snapshot_observed_at":"2026-08-12T18:40:10.100652Z","title":"Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs","venue":"cs.AI","work_id":"474e3b00-e3f7-49aa-9441-252ab5832d8e","year":2024},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.061132Z"},"links":{"cited_paper":"/paper/2405.04941","citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:fa5efcfc18661caa696ffcdf3bc648c40b6551ec295481ecd18b0e3b367cbe32","observation_id":"68a2337e-c160-4d04-be71-96a9cd7926b1","resolution":{"observed_at":"2026-08-12T18:40:10.109114Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:09.066587Z","title":"In: ATV A","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.066587Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:c6b644ef8d39f118721b3638ba2fd696e9f37106494b3d7169cb8372873925b9","observation_id":"3cfc8e35-09f2-49cb-b0f4-9aa49b53ba53","resolution":{"observed_at":"2026-08-12T18:40:09.066587Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.071780Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.071780Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:f9e59141d58a138d61317909939ce16b341f018747c912474e95313ab88b7468","observation_id":"670490f1-c9af-4480-a46b-abecc6920c8a","resolution":{"observed_at":"2026-08-12T18:40:09.071780Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.076365Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.076365Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:e465a312f27284ddcf1f5e61c5e3756ea7d987eff0330c890d5b1846018d76a6","observation_id":"e39897df-4226-4f0a-a5eb-af3965dfabbe","resolution":{"observed_at":"2026-08-12T18:40:09.076365Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.080486Z","title":"In: TACAS (2)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.080486Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:312e0798af28f6acc119be11d0d38551eb9cd6b5f39a94992c9f4851dc566105","observation_id":"48e0630e-7682-41c5-bedd-729d697c20db","resolution":{"observed_at":"2026-08-12T18:40:09.080486Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.085840Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.085840Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:a1ad61ab84766f81fa19e4e5ed3cfc7a8903768fcfc86a3ee2dc13098cb565e4","observation_id":"ca8c127e-d070-4929-a3b5-df882fca5301","resolution":{"observed_at":"2026-08-12T18:40:09.085840Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.090294Z","title":", Royer, A.: Multiple- environment markov decision processes: Efficient analysis a nd applications","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.090294Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:205a081384c3b7b3d3ac1095782542d7e114c9e651604c6480f88bc271e2eb65","observation_id":"6146fbf7-5287-4670-8b43-38a74a931dac","resolution":{"observed_at":"2026-08-12T18:40:09.090294Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.096088Z","title":"In: MFCS","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.096088Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:3f28d7a004c4fe22b1e260228510923fc2b988a0f60a443549c1eae57851110c","observation_id":"4df54a1c-4373-4479-bc29-a1bca49a8bd6","resolution":{"observed_at":"2026-08-12T18:40:09.096088Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.13912","last_updated":"2024-04-30T17:05:38Z","snapshot_observed_at":"2026-08-13T04:56:05.363051Z","submitted_at":"2023-12-21T15:00:06Z","title":"Solving Long-run Average Reward Robust MDPs via Stochastic Games","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.13912","snapshot_observed_at":"2026-08-12T18:40:09.101468Z","title":"CoRR abs/2312.13912 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.101468Z"},"links":{"cited_paper":"/paper/2312.13912","citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:176427030a640761ed8afd0ce5e8161fbaa7fd93c767671819dc56d8b1d2ff8d","observation_id":"abf40e6e-393c-4500-b451-29414b40dcef","resolution":{"observed_at":"2026-08-12T18:40:09.101468Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.107064Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.107064Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:566c410c95ce6a39035e4d86f4d754c694f4480beca0f03421e7ee93b42d7cfa","observation_id":"2daca99e-4f71-4277-92bf-d8c6fb850681","resolution":{"observed_at":"2026-08-12T18:40:09.107064Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.112392Z","title":"In: LASER Summer School","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.112392Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:df0b8ce9fb58a288ff014a3d69b21b8b1aa5a41b6f82559733f1ee2c0b24b948","observation_id":"0867c52e-ccf2-497a-8b2a-4b385517eead","resolution":{"observed_at":"2026-08-12T18:40:09.112392Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.08344","last_updated":"2024-04-12T09:20:23Z","snapshot_observed_at":"2026-08-13T00:32:04.629763Z","submitted_at":"2024-04-12T09:20:23Z","title":"Data-driven Interval MDP for Robust Control Synthesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.08344","snapshot_observed_at":"2026-08-12T18:40:09.117915Z","title":"CoRR abs/2404.08344 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.117915Z"},"links":{"cited_paper":"/paper/2404.08344","citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:c55a4c97a1ebf3aac6c9e8a25fb8d014e89bd92ac9af9935826a55ba04e4c41d","observation_id":"70b46330-c065-4a53-b4a6-fcabee484ae4","resolution":{"observed_at":"2026-08-12T18:40:09.117915Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.123949Z","title":"In: AAAI","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.123949Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:24bb58d813a9057ba731d9522e66645d738e935e0c51145336eb6374e886079d","observation_id":"1a5b7e2f-3136-4da4-a42d-03bfa520dee0","resolution":{"observed_at":"2026-08-12T18:40:09.123949Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.129354Z","title":"In: TACAS (2)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.129354Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:f666679cdb524dd8894cdee45ccfaa0f3cdbf2f51a5b6c1b9d0e9cb5611d6e29","observation_id":"f10453a7-0856-49f1-bf5f-6298141ddbc6","resolution":{"observed_at":"2026-08-12T18:40:09.129354Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.134390Z","title":"In: ATV A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.134390Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:5572b8f9c4366fc36f0fa4aec671df8ae77e8d159eeda244b527a446b8469a28","observation_id":"7b60e72b-5ec9-49ab-96f3-1ae1e7b35816","resolution":{"observed_at":"2026-08-12T18:40:09.134390Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.140158Z","title":"In: TACAS (1)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.140158Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:89f16aa94e2d8a808a6d0ce15c09f697b62654f1bdfaed140588cc3fd868d9a1","observation_id":"5be3ae1e-b3b4-4261-9588-3d84932f3cb8","resolution":{"observed_at":"2026-08-12T18:40:09.140158Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.145062Z","title":"IEEE Trans","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.145062Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:5138e7dbeb02324438c6bb13ddd715775dd0d760084e81544eb5bcd94ac855cc","observation_id":"866c7e45-5229-4ec1-b3b0-5d90b92d5832","resolution":{"observed_at":"2026-08-12T18:40:09.145062Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.150143Z","title":"In: AAA I","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.150143Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:d4be0ff0b808c9776b7e44476ccf9397873b95bae97cb28f95b9deae89ca8a95","observation_id":"8741bc07-f112-4c35-9a9e-7d382ab917c8","resolution":{"observed_at":"2026-08-12T18:40:09.150143Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.155204Z","title":"In: TACAS","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.155204Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:5fde557824fd9272afe770281fd2f12c820127a8366b071f27d5699b17a38cba","observation_id":"9acebd68-602a-4658-9fd3-db8a339a441e","resolution":{"observed_at":"2026-08-12T18:40:09.155204Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.159760Z","title":"In: CA V (1)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.159760Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:0ac8384b377a3e1e39cba0b7d644793f2f981f5c67fdc3e7cf074a565ec066bb","observation_id":"e07ce2f9-8804-476e-b003-be33f1576dea","resolution":{"observed_at":"2026-08-12T18:40:09.159760Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.164458Z","title":"In: MBMV","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.164458Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:5a7b0220dfa15300d754adabd66dc014a54cf23f7d0c3b48ceda80899d5708fa","observation_id":"7727beaa-c6b8-4330-a2e5-4ffbebdacfd9","resolution":{"observed_at":"2026-08-12T18:40:09.164458Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.169181Z","title":"Dynamic Games and A pplications (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.169181Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:af39670558bf3d6035771214f0753e26f3425e7de78c5174fb709e935d3e1dbe","observation_id":"90f60987-f86a-4ad3-a6f6-e7b5d1caac45","resolution":{"observed_at":"2026-08-12T18:40:09.169181Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.174376Z","title":"In: SPIN","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.174376Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:5d97261307efd87e8d736308ae47bc6dbc78b4ad1a6206a73012ce3c57c34b04","observation_id":"7dcd4bf8-8bf8-41d0-ab81-d9285650af87","resolution":{"observed_at":"2026-08-12T18:40:09.174376Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.184744Z","title":"In: Bernardo, M., Is sarny, V","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.184744Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:b8297fcdeaa22c068e625479e29041980a31733c8aa5a6f24a88d3891c8f1d28","observation_id":"f824a90f-2eba-42ea-bbb3-5ac9e07e8eae","resolution":{"observed_at":"2026-08-12T18:40:09.184744Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.189909Z","title":"In: AAAI","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.189909Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:ed73980031fd035944240e7c2fba48732a13f6f21c13ebd6c693ff48e0dc6e73","observation_id":"0efd32b0-a673-4eb8-ba15-d7749a785e41","resolution":{"observed_at":"2026-08-12T18:40:09.189909Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08770","last_updated":"2025-08-26T12:09:03Z","snapshot_observed_at":"2026-08-12T23:02:34.928602Z","submitted_at":"2024-08-16T14:25:20Z","title":"Pessimistic Iterative Planning with RNNs for Robust POMDPs","version":4},"cited_work":{"arxiv_id":"2408.08770","doi":null,"metadata_source":"pith","pith_arxiv_id":"2408.08770","snapshot_observed_at":"2026-08-12T18:40:09.990163Z","title":"Pessimistic Iterative Planning with RNNs for Robust POMDPs","venue":"cs.AI","work_id":"11794751-a57c-4851-9f03-54a2d0b8e000","year":2024},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.194753Z"},"links":{"cited_paper":"/paper/2408.08770","citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:213277c41ecefcfa3a9bfa1520cd008f6a8a70759268ca4f37291a56b266f8bd","observation_id":"de207003-2eb8-4882-bfad-131c548c9054","resolution":{"observed_at":"2026-08-12T18:40:09.997767Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:09.200418Z","title":"In: NIPS","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.200418Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:01a77936b265b9f03212776fb58b754cb57bebb911c4117faf3196b4e4808c42","observation_id":"2a22ec49-fca5-4704-b05c-80c5c84b733e","resolution":{"observed_at":"2026-08-12T18:40:09.200418Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.206549Z","title":"IEEE Trans","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.206549Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:f859d9d16b2fdc6beba981566d64cbb609221722c6d61f4a7fbd38de2fc15d2e","observation_id":"cdb40af8-3cc5-416d-a298-0f43b4d37fbf","resolution":{"observed_at":"2026-08-12T18:40:09.206549Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.212532Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.212532Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:d92d09bdbdbcd3c423ce84b2a7fa3f180d0e51981798114d4a67d9c33bbbeed9","observation_id":"a3367c5b-f175-4380-9d25-9f35ce51c3a5","resolution":{"observed_at":"2026-08-12T18:40:09.212532Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.217592Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.217592Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:78babf78e7c85cf1c4beaf82e41e1c506630fc1709e1b09eef3733e0a91c1ef1","observation_id":"90a6b4b5-aabe-493e-9fb8-58b406339d08","resolution":{"observed_at":"2026-08-12T18:40:09.217592Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T18:40:09.224046Z","title":"In: Neur IPS (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.224046Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:a701d403750da71a946cad192ef98afa15785f869b7ca23bc026bd166d5244b3","observation_id":"55c324e8-e3e1-4793-bd6c-8add9f539c4d","resolution":{"observed_at":"2026-08-12T18:40:09.224046Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.03618","last_updated":"2025-01-14T15:24:52Z","snapshot_observed_at":"2026-08-13T05:08:35.725615Z","submitted_at":"2023-12-06T17:04:08Z","title":"Beyond discounted returns: Robust Markov decision processes with average and Blackwell optimality","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.03618","snapshot_observed_at":"2026-08-12T18:40:09.229045Z","title":"CoRR abs/2312.03618 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.229045Z"},"links":{"cited_paper":"/paper/2312.03618","citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:0fe558e03649548db693c4644f08f34f2ff0184b43dc6c393a1ffd5438a4c6bc","observation_id":"a593ac28-5c25-495f-bd71-ea741920af16","resolution":{"observed_at":"2026-08-12T18:40:09.229045Z","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-12T18:40:11.406628Z","title":"In: NIPS","venue":null,"work_id":"bc7f507e-10e4-40ab-bf82-428607e024ab","year":2012},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.233827Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:89dcb47714823931a2740fac08dd6c06dd12a92dd95cfdee7d36c137f304a70e","observation_id":"ffdc8ae1-36a7-402b-af7f-48c366bcdf80","resolution":{"observed_at":"2026-08-12T18:40:11.415307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.381242Z","title":null,"venue":null,"work_id":"970cb0c1-8c2a-4d1d-a029-2cd77cc7d4c1","year":2014},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.239514Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:2033e89185dcc0bb0cd3eaf9c2ae95becc1b1c939b9a038a2e0c0d4dfc77c904","observation_id":"76486139-c1c4-40a6-a1f8-f4bf8aaef523","resolution":{"observed_at":"2026-08-12T18:40:11.388421Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.356378Z","title":"Formal Aspects Comput","venue":null,"work_id":"57d8d10f-acb7-42d1-91f5-baf6e4710f11","year":1994},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.244697Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:c06597417f4683433857edff1074ec9557bc90fd3d30c0123f05d64f20b679ba","observation_id":"ba115c8a-eb24-4ff4-a9f1-ff9a32f287de","resolution":{"observed_at":"2026-08-12T18:40:11.365998Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.324530Z","title":"In: TACAS (1)","venue":null,"work_id":"04e65d34-a2cd-4b72-82c0-0867acf650d0","year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.249888Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:6c1be32df67d7dfd85eb755f50fb177b0e76695dd244ce964831155dacaef95d","observation_id":"eca277b5-6a81-4ed7-bae0-870f0e4b42fd","resolution":{"observed_at":"2026-08-12T18:40:11.332593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.296392Z","title":"In: CA V (2)","venue":null,"work_id":"225df3d0-13da-4419-93f3-5f44f5433ba7","year":2020},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.254957Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:ed6309687f8191be63800e9aa69bb4b931f543b5db1950b31831362514e6c57b","observation_id":"d69d974a-c070-4c76-a5e4-b85d7a5dfc08","resolution":{"observed_at":"2026-08-12T18:40:11.304366Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:09.262985Z","title":"In: Vojnar, T., Zhang, L","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.262985Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:adfd4d6df2a7a1760698bc8e11d35c0331f315292802454b387e5462f660b112","observation_id":"917135a5-487c-4211-878f-84e51ee21849","resolution":{"observed_at":"2026-08-12T18:40:09.262985Z","resolver_source":null,"status":"malformed_identifier"},"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-12T18:40:11.246523Z","title":"In: LATA","venue":null,"work_id":"17b7cef6-621f-45bf-b9f9-f006c0b6de41","year":2016},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.268560Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:cc1b72c7cf56c5611135d01f8afed82764b48e60f651a4fb34ec67a55f274cea","observation_id":"0380ef28-607a-4dff-a523-bda66a373499","resolution":{"observed_at":"2026-08-12T18:40:11.253012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.224359Z","title":null,"venue":null,"work_id":"88eab3ae-4126-4f8d-87b7-3d6a31039840","year":2022},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.274829Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:cf3a6fa83d7fac36815f274077d4b7b87f599387c635b4b418edf15ce8e355fa","observation_id":"015d5f56-0ddc-4d37-88b3-3737f8274269","resolution":{"observed_at":"2026-08-12T18:40:11.230031Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.198892Z","title":"In: ICML","venue":null,"work_id":"daaf2b1d-66a9-43bf-892c-b2a5dc3ac07d","year":2018},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.280726Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:8e91c71e409f4e5e7c3c0de48c03182be1943c0ffbccdd4156311f1c68f4cba0","observation_id":"5a1d1d9e-477e-4215-8b23-a2517615aba1","resolution":{"observed_at":"2026-08-12T18:40:11.204632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.179185Z","title":null,"venue":null,"work_id":"492fc8de-00e5-4379-aea2-ced9893c7076","year":2021},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.289197Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:d82efb58df5a267b5dfa8d09aa95bb152cdb5225d595dd4adbcc8edc986e0600","observation_id":"70aebcb3-9f0d-4963-b1f2-e7f0f6bcdf66","resolution":{"observed_at":"2026-08-12T18:40:11.185728Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.156664Z","title":"In: NeurIPS (2022)","venue":null,"work_id":"cd770adf-1d09-4d7e-9cf1-11bf9be6f060","year":2022},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.294693Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:40e33ed3600da574c916323ac7e5e110d951bccfafdb0b21d00cb8ef05d10bcc","observation_id":"be0bf0c5-6b4d-4479-b2ca-5586ce77a4e7","resolution":{"observed_at":"2026-08-12T18:40:11.163974Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.132093Z","title":"Journal of the American Statistical Association pp","venue":null,"work_id":"725d42b9-0edd-4d13-9ca4-8c3069834366","year":1963},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.299838Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:36da421117f30d9992143b63c835699c2ce99b049c008e7b8baea4f2a5cb2a05","observation_id":"e70e7be0-4db6-4dfc-a2e9-d55841ec1111","resolution":{"observed_at":"2026-08-12T18:40:11.138118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.110777Z","title":null,"venue":null,"work_id":"921ef76a-32a5-450d-b4cb-55a3e003f9e4","year":2021},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.304321Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:ed6695d3c545e24f056f746d75df7fe0d6d3537bd4ba4f755ebc78b9e60de876","observation_id":"25243966-5245-4ec8-953e-49c036e6382c","resolution":{"observed_at":"2026-08-12T18:40:11.117253Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.093144Z","title":null,"venue":null,"work_id":"2f1aba8b-ee51-4326-a2b7-fe215f9f8ac2","year":2007},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.308987Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:addc1b3d51493aa54014182e014a7b08bd7c8df325907848081096ab7a09d378","observation_id":"bb1e6b78-a7e8-46cf-96fc-58455d9de52f","resolution":{"observed_at":"2026-08-12T18:40:11.097442Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.076937Z","title":null,"venue":null,"work_id":"27374fdc-6027-41f4-8cfe-8dfd1975521c","year":2005},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.313855Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:0b73db2bd97a43f5f19c29d26ccf4bd3d1fca857175e29309d19cea2c4e7a7ef","observation_id":"865c4f03-d7e5-4ca0-b484-f72d792068d0","resolution":{"observed_at":"2026-08-12T18:40:11.081928Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.057504Z","title":"In: ISoLA ( 1)","venue":null,"work_id":"0c65ebc1-f752-46fe-929e-1b135bcd668f","year":2020},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.318649Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:dcf56bf1cb3ba463e59e4c6ea285847d1144b7d6b7fa4f8d1042dbbc7478a6f9","observation_id":"2f87ae36-fd63-42f1-8cfc-248854d9f88f","resolution":{"observed_at":"2026-08-12T18:40:11.063745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.038799Z","title":null,"venue":null,"work_id":"34e9d529-668b-49b4-a53a-e0b179e0f463","year":2010},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.324213Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:4bdb39b4b3f8cc393dd02421602d29f61796f6b11a39ad472d78746a26665ab8","observation_id":"762fbc37-06d6-46f5-a414-e971d6829ee1","resolution":{"observed_at":"2026-08-12T18:40:11.044411Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.022735Z","title":"In: Principles of Systems Design","venue":null,"work_id":"deb882ed-3166-44e7-8437-ecc2e1135d66","year":2022},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.329819Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:e32060be00bc722bb6f833cb792c1de7bdbe9ce1c2e0153c7caf9c6a591bd212","observation_id":"86256171-9925-4a40-b607-8b4096fd6843","resolution":{"observed_at":"2026-08-12T18:40:11.027554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:11.002855Z","title":"In: Proceedings of the Sixth Annual Symposium on Log ic in Computer Science (LICS ’91), Amsterdam, The Netherlands, July 15-18 , 1991","venue":null,"work_id":"825eb337-c12d-4ccf-964e-b0572eba936f","year":1991},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.334873Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:43a77077fe90dc028b0adb14a090fb99efe6302921506d49a4e8b223fe508e92","observation_id":"12e467e2-f5f1-4281-b8d6-c6ff81d628f7","resolution":{"observed_at":"2026-08-12T18:40:11.008984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.985357Z","title":"Formal Methods Syst","venue":null,"work_id":"fc4479dd-0c00-44e7-9daf-ff887992da95","year":2024},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.346762Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:7f46c09f3871c91d6a62ef4cc1b61c6622dab69085b8c316646c36adcca00cf0","observation_id":"b7b3bff0-dec3-4348-a5a9-55b3f86d0f0a","resolution":{"observed_at":"2026-08-12T18:40:10.990486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.965721Z","title":null,"venue":null,"work_id":"5a21435f-419a-4a92-95b5-9d1f592bba36","year":2021},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.351660Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:2328556fb01ae528f3532dc30cbb16853be4ab4d82c135f6095fb9887bc69399","observation_id":"d2906a72-ee77-4416-9714-b8894a6a9874","resolution":{"observed_at":"2026-08-12T18:40:10.972592Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.942882Z","title":null,"venue":null,"work_id":"89706890-a792-4431-b019-4b0c38fcb20a","year":1998},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.356237Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:fc13763e42f166bddb490da69ce36d0e90fd03c36da301354b5e7fde3c9f7bd7","observation_id":"b3a19663-ac31-40da-907b-f1b8380c0f9e","resolution":{"observed_at":"2026-08-12T18:40:10.951475Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.923971Z","title":"In: LICS","venue":null,"work_id":"b2c6a8e4-58a5-4dd6-bbd9-87d911570767","year":2016},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.362049Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:1b21b3fce1cf8e17232a3f0a561a1df75368a3a36853d67cb0171f73feb71d4d","observation_id":"bdeb83e7-9a40-4fff-9452-5350e6d393ee","resolution":{"observed_at":"2026-08-12T18:40:10.931694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.905679Z","title":"In: CA V","venue":null,"work_id":"f6d81a4b-9fad-4f21-b3b1-49fa3329a44b","year":2007},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.368358Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:e546dcf87ddc27d4e84a27596149aca64229c3c286293ca2d40497a5357e313e","observation_id":"21afc724-4a3d-48ac-8f0f-697a05c1dbcb","resolution":{"observed_at":"2026-08-12T18:40:10.910576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.890675Z","title":null,"venue":null,"work_id":"6e12c1e1-de84-49d9-b0aa-855f39d7d6ec","year":2012},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.374154Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:37b5ad35a7872f56272d03739882ef45d1b5a2d13691da305163ca320eb63731","observation_id":"c0b35a20-825c-4fa3-9964-6d7e778bc1c3","resolution":{"observed_at":"2026-08-12T18:40:10.895727Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.873916Z","title":"Formal Meth- ods Syst","venue":null,"work_id":"317b84ae-3585-4be4-9cb8-d393b3462b29","year":2010},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.378676Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:b00caccfc5d33749b46b074e8257121e19156437691b2aa547f704afd4361264","observation_id":"339a7695-fde7-4903-bc58-f86104bdf4c6","resolution":{"observed_at":"2026-08-12T18:40:10.878069Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.859253Z","title":"INFORMS J","venue":null,"work_id":"dc5a6c99-d8f8-41b1-8a27-58863c37fbd8","year":2013},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.384874Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:8c3829fc6f0cd93c491611c21fe8a3ed914011441100e90b53ceca7a97ddd55e","observation_id":"45f3cc3f-df99-4c60-aaf0-847c06a02e4d","resolution":{"observed_at":"2026-08-12T18:40:10.863759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.844651Z","title":"In: NeurIPS (2023)","venue":null,"work_id":"137fd9b6-99ce-4895-a61c-27ce627bb88b","year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.389865Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:63b6f28f3fe342d403e6241b5c9d6db0e60a896740e2245e817b4c8d8444e174","observation_id":"ff0abc92-4620-48bb-81eb-ed3c9559eced","resolution":{"observed_at":"2026-08-12T18:40:10.849249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.829160Z","title":"In: QEST","venue":null,"work_id":"982dfd36-3acc-44d2-bf16-9652ba3ed725","year":2006},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.394437Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:054d478b912af809ae24ecb78125a7ccfc2ff7d0a02db9500ca91eda3dc5edc3","observation_id":"8bfaf3c9-63dd-4ceb-8448-0e8a321bf656","resolution":{"observed_at":"2026-08-12T18:40:10.834118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.813463Z","title":null,"venue":null,"work_id":"26fc5c5d-6635-4c20-a004-580ec0bfea73","year":2007},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.399468Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:6bae6c1aba7b159e0cc296c299894ea6bdf3738653193885658fabcda66aba52","observation_id":"eb203f54-58f2-48fe-bdf5-9baa0774250b","resolution":{"observed_at":"2026-08-12T18:40:10.818352Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.796823Z","title":"In: CA V","venue":null,"work_id":"495a3a92-3edb-4b85-a01f-8d779ea6a62e","year":2011},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.404762Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:349f80bb9ec5e3116115ddf0809e79112676b3237098050fddc94ddea5a200ba","observation_id":"0210fe70-e6c7-4343-94a1-fb314f674e69","resolution":{"observed_at":"2026-08-12T18:40:10.801870Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.780846Z","title":"IEEE Trans","venue":null,"work_id":"a14141d7-edba-4419-a637-d2a94dec1bc2","year":2015},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.410450Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:f8846e433faddc1e12b397061540f2a2ed587e965027ba77a85f96d9499b67c6","observation_id":"19c72bf0-13c6-4109-9607-1a750eaf0680","resolution":{"observed_at":"2026-08-12T18:40:10.785874Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.765815Z","title":"In: ICML","venue":null,"work_id":"12b8f1a6-349e-498e-bf91-00b9969e63bf","year":2019},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.416274Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:2d97ee7d6478367bc04d821005e24f1c6c72ab6b0e9b1e820e95bad5c592f93b","observation_id":"ea2019df-3c94-46d9-847f-5ea0d9e2982d","resolution":{"observed_at":"2026-08-12T18:40:10.770552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.750294Z","title":null,"venue":null,"work_id":"188bd8f2-3e32-448c-9ff2-a94a38d904e5","year":1991},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.421359Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:2bcfae641e7f3cee85f61e1b8a5882aae41c9fe71781440db97a15c41d6a3cb1","observation_id":"fed58f8e-b0ea-4338-9bda-c8c8a0b3d4ab","resolution":{"observed_at":"2026-08-12T18:40:10.755214Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.734731Z","title":null,"venue":null,"work_id":"cf6a8630-7e04-4116-8afe-5bbf1fa8a71e","year":2022},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.426432Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:c06b8ecd63ef1e5c54e8f2d61099f75fe70ab29c34076be867be8c69c8693f40","observation_id":"f99b84c7-5d49-44f1-ba83-f7620cb2a273","resolution":{"observed_at":"2026-08-12T18:40:10.739503Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.713859Z","title":"IEEE Control","venue":null,"work_id":"864cc830-10ac-4cfd-942d-62ef7316e005","year":2023},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.432010Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:1f6228c2b1b1702a98fe051238d4efca74d80c1aec2262d6e1f538ae2e4fd69e","observation_id":"f31489eb-ca25-4dd7-be23-9515579cbc03","resolution":{"observed_at":"2026-08-12T18:40:10.718548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-16612-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K ., Lee, I., Pace, G.J., Rosu, G., Sokolsky, O., Tillmann, N","venue":null,"work_id":"4ae38073-02d5-48cc-9868-4d076ee924b0","year":2010},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.436930Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:4c9eabd3764063dc4a720fe4be27229dbba934fb6f56fafb8ae43c304392d8b7","observation_id":"884112f0-5198-41af-81ba-613ef610ba52","resolution":{"observed_at":"2026-08-12T18:40:09.707055Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.699839Z","title":null,"venue":null,"work_id":"5015062b-288f-4efe-a8ee-114a13b87181","year":2003},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.442407Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:c35dd5db72f81ee84241042b7373dc1d755a2740985145068fea8ddd3971e5d9","observation_id":"ca3e6a7c-94ae-43d1-87f9-a343808e7181","resolution":{"observed_at":"2026-08-12T18:40:10.704032Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.686875Z","title":null,"venue":null,"work_id":"4367c06c-ff44-48bc-8eb6-6238e1e759bd","year":2007},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.447337Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:00f9271852d57f23edb5b2c332e7386786b3fcae2a3f11c228c157eefe21c08d","observation_id":"78556a07-bf96-44bb-b6a9-3c12cc53e655","resolution":{"observed_at":"2026-08-12T18:40:10.690879Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.04068","last_updated":"2024-04-29T11:04:38Z","snapshot_observed_at":"2026-08-13T04:47:07.618914Z","submitted_at":"2024-01-08T18:11:22Z","title":"IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.04068","snapshot_observed_at":"2026-08-12T18:40:09.452899Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.452899Z"},"links":{"cited_paper":"/paper/2401.04068","citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:04ea4bd8e6259855f43182efaa4dd48efc319b3f5697601547e9f09b72ec76e5","observation_id":"8225e311-23d0-4f79-b72f-f673ceb94bcd","resolution":{"observed_at":"2026-08-12T18:40:09.452899Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.05424","last_updated":"2025-04-17T14:33:17Z","snapshot_observed_at":"2026-08-13T00:35:04.643012Z","submitted_at":"2024-04-08T11:47:46Z","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.05424","snapshot_observed_at":"2026-08-12T18:40:09.458247Z","title":"CoRR abs/2404.05424 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.458247Z"},"links":{"cited_paper":"/paper/2404.05424","citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:b549c4a8866bf1480e20acd00d3629df1c7f1710d381aede93b701b24c8dd1e2","observation_id":"723a219e-c525-4374-a744-3de942ff10d7","resolution":{"observed_at":"2026-08-12T18:40:09.458247Z","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-12T18:40:10.669188Z","title":null,"venue":null,"work_id":"18328be3-8def-4f15-a5af-6b86ac4d1e42","year":2022},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.463402Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:986823d9460d1732c51bdcaac5c4860c63e7ade6a4c9f07852d10c0e9ea9814c","observation_id":"9e067779-3749-4cbb-9686-92d9ec1ce7ed","resolution":{"observed_at":"2026-08-12T18:40:10.674230Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.650483Z","title":null,"venue":null,"work_id":"34d414d7-9443-47a6-b2ca-0db8aab626b4","year":2021},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.468371Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:37bbe7a7d69aad510054397f93547df7c5ecf8523caec276295a6bc0bdfbc28d","observation_id":"75869ff6-fdf3-4f91-abe1-003213ef90b8","resolution":{"observed_at":"2026-08-12T18:40:10.655655Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.634498Z","title":null,"venue":null,"work_id":"dd40cf91-23e1-432c-93da-52f1c8408db5","year":2005},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.473778Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:eb3f7272146213f53b2efe3c8375c18699939560bab859e7a6277a93907d234c","observation_id":"8e7e361d-ecc1-49fc-aac9-2a7724704742","resolution":{"observed_at":"2026-08-12T18:40:10.639242Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.619494Z","title":"In: ICML","venue":null,"work_id":"9ad3fb82-e9b1-4b63-a48c-90dda6540099","year":2015},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.478542Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:50cacc7edb0cd5c1e8883c1222df2ff4268beb7c50fba8cd172af655ffccc84a","observation_id":"dcf1492c-7e82-48fe-840d-b23c13e5c5e9","resolution":{"observed_at":"2026-08-12T18:40:10.624604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10546","last_updated":"2025-07-29T12:45:59Z","snapshot_observed_at":"2026-08-13T11:39:57.357646Z","submitted_at":"2023-05-17T20:06:14Z","title":"Games on Graphs: From Logic and Automata to Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.10546","snapshot_observed_at":"2026-08-12T18:40:09.483728Z","title":"CoRR abs/2305.10546 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.483728Z"},"links":{"cited_paper":"/paper/2305.10546","citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:7a3ee4cb25c0ee6a4bbdba89bf32fe5e457c952ebae66295d02a87da061ab06b","observation_id":"5ab1c6ff-02b5-4ffa-9444-ee2e279854ef","resolution":{"observed_at":"2026-08-12T18:40:09.483728Z","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-12T18:40:10.603064Z","title":"In: FOCS","venue":null,"work_id":"e4cf6575-1c15-464e-a8a6-cf4903327fe1","year":1977},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.490823Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:c43e774cf83b9ac70021081ced4490eac5b411c1241dd52475e6dad488f70766","observation_id":"d8991d67-cc7a-466f-8e69-6a0088bcf6fb","resolution":{"observed_at":"2026-08-12T18:40:10.608068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.587341Z","title":"In: ICAPS","venue":null,"work_id":"4c8bead0-337a-486c-9451-dfef707dc620","year":2021},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.499479Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:8f33006bee4c434a083ade4991d9a90109abd3b16b9e844910ca85bc10313b72","observation_id":"797bbf82-29b5-4905-8fb1-839cddc0308f","resolution":{"observed_at":"2026-08-12T18:40:10.592331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.570233Z","title":"In: CA V","venue":null,"work_id":"7109c43f-65d2-432e-b834-7451db2dc7c9","year":2013},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.506692Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:d2ed8c17d4c6a5c3873040a093aa3dc69f1af8d88a9fa8800cbf838d26a4c54d","observation_id":"c0c4e4bb-1650-4cdc-bec6-ba87b008a7a9","resolution":{"observed_at":"2026-08-12T18:40:10.576592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.550749Z","title":"Wiley Series in Probability and Statistics, Wile y (1994)","venue":null,"work_id":"c7f5416d-f3fe-418c-a624-82e68092dfee","year":1994},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.513978Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:b1573b2e5a26bf3bb1340dc69e7c2cdbe153e6e0c221f355e68e9f87d1e2e205","observation_id":"54ad2a4c-f588-4d6b-a6a6-4c8dcc479b0d","resolution":{"observed_at":"2026-08-12T18:40:10.556702Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.535269Z","title":"In: ATV A","venue":null,"work_id":"7a1ea069-7c36-414e-9c6c-905f5b808a83","year":2016},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.519583Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:166bd63b151784fa566c310c7b98fa08611dde8c8949366fa1c642d0995efb2c","observation_id":"ff887b5c-5399-42a6-9540-3cc22ccfac48","resolution":{"observed_at":"2026-08-12T18:40:10.539720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-12T18:40:10.515770Z","title":"In: CA V (1)","venue":null,"work_id":"90a85ad8-deb8-4d45-964e-6125f04cd723","year":2018},"citing_paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","version":2},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-12T18:40:09.525833Z"},"links":{"citing_paper":"/paper/2411.11451"},"observation_digest":"sha256:e43d31bb22cfb7554c1b305a3c96bbdbbb8c30a8629b6e1e2746ac9be4cb8c22","observation_id":"9f92f21a-5e57-470c-9794-f888e56b4052","resolution":{"observed_at":"2026-08-12T18:40:10.521722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.11451","last_updated":"2024-12-10T09:59:27Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-13T15:05:35.263945Z","submitted_at":"2024-11-18T10:34:14Z","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":1,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":66,"verified_exact":1,"verified_fuzzy":29},"total_outbound_references":122},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 100 of 122 outbound references and 1 inbound Pith citation observation for arXiv:2411.11451."}