{"as_of":"2026-08-08T00:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:06ab6eb568d4efe2ecdb7371f4f23bfd4d0abcbb56ae0b9a61310fd7e7b72098","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:07:29.665846Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.03469/citation-record","integrity":"/paper/2506.03469/integrity","json":"/paper/2506.03469/citation-record.json","paper":"/paper/2506.03469"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.844614Z","title":"Alshiekh, R","venue":null,"work_id":"d2b37730-436c-49cc-9a1c-63ec081fb50a","year":2018},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:27.750381Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:b1d498879d0a712313416993d8b6bb5642d0457b33d87ddcfc9b659920839439","observation_id":"6f066529-61bb-4295-84c6-a1a71ba766e5","resolution":{"observed_at":"2026-08-07T11:07:30.849898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.829272Z","title":"Bachman, A","venue":null,"work_id":"4e5eff59-355d-452a-a6dc-8c05d08bf093","year":2017},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:27.803724Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:47ecfb8f6b5e195c76d165ce940fa6ac45b6699c18ff3bd93e5b62537f023c7b","observation_id":"274ef554-ed95-4a38-8974-40db7af155e1","resolution":{"observed_at":"2026-08-07T11:07:30.833833Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:27.848546Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:27.848546Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:c6c665a36d624dcf8962f87f238fe2867587c1ce5e3f4370ab38aea9d7949b44","observation_id":"5440e141-46d4-47d6-ab1b-7c2c89f2c9e0","resolution":{"observed_at":"2026-08-07T11:07:27.848546Z","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-07T11:07:30.803582Z","title":null,"venue":null,"work_id":"746cf8d6-210e-425d-b413-4883f724f97f","year":2021},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:27.927104Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:fd7ef2491089f9e3425426fa6cfecf2459e1bef951675f0d6d9b293fbbe4539d","observation_id":"aa4c8d48-7636-4252-b5b1-5dfcde39580f","resolution":{"observed_at":"2026-08-07T11:07:30.807639Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.788601Z","title":"Biza and R","venue":null,"work_id":"e0e07184-1470-4206-a624-cf1882de41a8","year":2019},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.000974Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:5aa5234645fad09d1a4a49912c4303e9892051c41dd01e054604a458cfd7159d","observation_id":"5a5d0a55-f3e8-47f3-84bb-998f8d88f2e4","resolution":{"observed_at":"2026-08-07T11:07:30.793628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06869","last_updated":"2025-02-08T05:30:31Z","snapshot_observed_at":"2026-08-01T21:42:22.545583Z","submitted_at":"2025-02-08T05:30:31Z","title":"A Survey on Explainable Deep Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.06869","snapshot_observed_at":"2026-08-07T11:07:28.048575Z","title":"Cheng, J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.048575Z"},"links":{"cited_paper":"/paper/2502.06869","citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:6d598a5cd580a933192ba72b4ef678d771de69cd4c7b209206d7578f856012da","observation_id":"c0ba9a2d-127b-4f21-8246-65e015834008","resolution":{"observed_at":"2026-08-07T11:07:28.048575Z","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-07T11:07:30.773222Z","title":null,"venue":null,"work_id":"92aecfb4-9867-40c9-aff1-4831e0c4afde","year":1996},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.091913Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:00533c2ad1c3b98f11bd7a8381741ecff92ecea4045a9ba7b9b56485a98349a7","observation_id":"0ecf1ea9-ef18-48e7-8e55-fa8f6ea916e5","resolution":{"observed_at":"2026-08-07T11:07:30.778136Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.757121Z","title":"Corsi, E","venue":null,"work_id":"c05b9904-ba36-4f99-ad01-d1a6600d7566","year":2021},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.168967Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:426e3052a13bb472ef15df1fe1f4c5a25d609fa0c5bc2d8d7dca022d84218e07","observation_id":"f044c3c0-ce62-4e0e-8177-de5d26dc6845","resolution":{"observed_at":"2026-08-07T11:07:30.761878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.741973Z","title":"Dehnert, S","venue":null,"work_id":"98b3b039-1fb2-41dd-b9c8-0d240b808dc4","year":2017},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.201236Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:77e37af7e09b1561c5749d498617fbef904f13507e5a825d9e75a23db464ca19","observation_id":"aba4c668-ec81-485f-87fe-bbaf9594d901","resolution":{"observed_at":"2026-08-07T11:07:30.746262Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.727463Z","title":null,"venue":null,"work_id":"28f7b20b-6b31-4315-b17a-034271591afe","year":2015},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.259673Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:0232c774d5cce0ed922bc1d62d9f35c0312f5f3c7980528d00dae75cf5505929","observation_id":"879c4a15-4086-4dc4-ba4b-f7559d51e769","resolution":{"observed_at":"2026-08-07T11:07:30.731947Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.711717Z","title":"Dukkipati, R","venue":null,"work_id":"3b7ae86a-2d72-4b56-ad89-6eee406ab27f","year":2025},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.343158Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:149cd117af30b227e8608e9206ad4426567352393de40af69fb763bd24f6871f","observation_id":"8faf1c64-73fc-4b8d-943c-08e4589bf407","resolution":{"observed_at":"2026-08-07T11:07:30.716694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.692347Z","title":null,"venue":null,"work_id":"e933edeb-1ff2-4df3-884d-44260c50c3d7","year":2006},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.385592Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:4baaa74d89edd2ca7cea36ca32c9dafa36b704f273d0ca31dda57f9d4af22129","observation_id":"53a51cad-263b-4172-8424-92701dc9e70a","resolution":{"observed_at":"2026-08-07T11:07:30.699417Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:28.476128Z","title":"Haarnoja, A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.476128Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:afd5f31dcd14474122f5d74ed3a7d02114b8c6cd7bbca55952b635cea8fe2afd","observation_id":"d53dca96-f05c-4392-b01c-23c5d9b0fcec","resolution":{"observed_at":"2026-08-07T11:07:28.476128Z","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-07T11:07:30.665008Z","title":null,"venue":null,"work_id":"abd47a51-d85b-41d6-8df2-a50d12088e48","year":2019},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.541602Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:07e74e0c4d24ea49570685ff30fb19a2bd44da55f2c061e8d8a587428d838c96","observation_id":"7813dd16-4487-4053-9f3a-bdb02b86e5ab","resolution":{"observed_at":"2026-08-07T11:07:30.670071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.649484Z","title":"Karakovskiy and J","venue":null,"work_id":"2d2602d0-59bc-4371-a7d9-09943610e84f","year":2012},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.572728Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:620d047402ac6d036698461dfb888b90f779c546e72e054708c2c049a23c870b","observation_id":"4403fd42-c244-48de-944a-f037885b70de","resolution":{"observed_at":"2026-08-07T11:07:30.654037Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.634248Z","title":"Karunakaran and S","venue":null,"work_id":"990f15ec-d808-4e41-bb0b-e92a7fbdfeb2","year":2020},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.641633Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:d641bca38be4734251635b0ae4f09fe96e1d5fd69dca4036bd79310b71a999f3","observation_id":"508e0f63-a194-493c-8177-05390490bbfc","resolution":{"observed_at":"2026-08-07T11:07:30.638913Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2005.00903","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:30.462346Z","title":null,"venue":null,"work_id":"6d2d615a-35d7-4fe5-ad73-8875b4ab9648","year":2005},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.689346Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:408b63f6633a2997ff4afa4da41db0a8f6fa8fa5a933fb25ab26d53f104edd3a","observation_id":"479058e6-f939-47ec-b894-42b3ba8b8f2f","resolution":{"observed_at":"2026-08-07T11:07:30.471533Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.618304Z","title":"Kwiatkowska, G","venue":null,"work_id":"77594adc-20bd-4656-b944-5c53d55ac783","year":2011},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.734294Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:7394ba3900c313a865c9b9a51664b2c0d40e48644ae3ca70895c5e8c385eac5f","observation_id":"e0f1cf21-e078-4c55-84d3-5621db101d99","resolution":{"observed_at":"2026-08-07T11:07:30.623560Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2005.01643","last_updated":"2020-11-01T23:50:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-05-04T17:00:15Z","title":"Offline Reinforcement Learning: Tutorial, Review, and Perspectives on Open Problems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2005.01643","snapshot_observed_at":"2026-08-07T11:07:28.773438Z","title":"Levine, A","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.773438Z"},"links":{"cited_paper":"/paper/2005.01643","citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:969ec814bfa8789375c147d123188475dc4211273c06306b7aaefeb5cc6886d2","observation_id":"2b878c0f-401c-44fc-a12d-becc0b703e56","resolution":{"observed_at":"2026-08-07T11:07:28.773438Z","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-07T11:07:30.602233Z","title":null,"venue":null,"work_id":"b9012527-da00-41c2-b234-4a158b1ab6e2","year":2006},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.831283Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:814651837da97a04404f70d60542c525ee5da0da279641da998beb208422f30f","observation_id":"e529d429-59d5-4991-9999-704f7a6202a3","resolution":{"observed_at":"2026-08-07T11:07:30.607486Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.586558Z","title":null,"venue":null,"work_id":"c46dd174-a1be-4748-8ca5-f7725d09c933","year":2004},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.898229Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:bb7c0afbf442c2b7d52babadf99d74cfa6541cb449c8244231266a399950440d","observation_id":"cd595de2-c8a5-4e1e-85e8-93235b8db56f","resolution":{"observed_at":"2026-08-07T11:07:30.591014Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:28.954721Z","title":"Liu and N","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.954721Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:12476b1b12cfc42d6965dc909a1a24435df1342dedd32f87adaa5e8389869df5","observation_id":"87ae86fb-53b2-48c2-822f-72fd2f735701","resolution":{"observed_at":"2026-08-07T11:07:28.954721Z","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-07T11:07:30.565856Z","title":null,"venue":null,"work_id":"a1ccb0d5-1c43-4bdb-b7d8-4a9fd48b4264","year":null},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:28.983356Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:7a37d4356cf916a99b8ecfdd6ca7f673a1188ebb7c88586684cc7431bb323f98","observation_id":"24c8bd89-598a-4380-8490-3ecae8a8988d","resolution":{"observed_at":"2026-08-07T11:07:30.572313Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.550525Z","title":"McCalmon, T","venue":null,"work_id":"78a7506d-8ff5-42b2-a3b0-bf832e522e0c","year":2022},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.039078Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:a25188d82ddbc091be94485af214dab0f121893627b1e99b9cb5fd9ce136fc85","observation_id":"611a9170-c12a-457a-857b-9e289fdb40b1","resolution":{"observed_at":"2026-08-07T11:07:30.554779Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.535085Z","title":"Mihatsch and R","venue":null,"work_id":"39f8c801-219e-445d-adde-6b9d56f9e99d","year":2002},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.120947Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:f5082b22dfe8e2c67f63890c3f1dd5ca62e7c7a2e29ed040015057bf344bde1c","observation_id":"e84fdecc-23eb-4420-b697-f914d9ab09bc","resolution":{"observed_at":"2026-08-07T11:07:30.540260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/ijcai.2023/54","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:07:29.774573Z","title":null,"venue":null,"work_id":"c9c53578-a561-43ac-91ce-b34464adb889","year":2023},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.158152Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:0ce490a7aa8ae24b96e2ffa2141fc27698bd931c2d382b9a9061d61997cd7d4f","observation_id":"efaafd7e-1aef-44fe-83fd-89be468619b9","resolution":{"observed_at":"2026-08-07T11:07:29.862595Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.03902","last_updated":"2025-01-07T16:10:09Z","snapshot_observed_at":"2026-07-06T20:17:43.203959Z","submitted_at":"2025-01-07T16:10:09Z","title":"Explainable Reinforcement Learning via Temporal Policy Decomposition","version":1},"cited_work":{"arxiv_id":"2501.03902","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.03902","snapshot_observed_at":"2026-08-07T11:07:30.257846Z","title":"Explainable Reinforcement Learning via Temporal Policy Decomposition","venue":"cs.LG","work_id":"159675e4-6fdc-4ac5-8442-35ee2df6cd6c","year":2025},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.249223Z"},"links":{"cited_paper":"/paper/2501.03902","citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:2ba785b0c32e2c57546e526bd995723c415f1bb2532b251f50b460046c0046e0","observation_id":"298d9481-14ae-4a21-ba95-d0e78502b63a","resolution":{"observed_at":"2026-08-07T11:07:30.264400Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:30.519741Z","title":null,"venue":null,"work_id":"65828c36-0a2a-4ce9-9bf0-f8ff992e2f1d","year":2010},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.290931Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:38cb6feef42fca632cde7c91182feb9bf699cad58a59ee1b2a86bee3e74cd8d3","observation_id":"68ddec39-f70b-4bf0-b50d-49dfb553a943","resolution":{"observed_at":"2026-08-07T11:07:30.524519Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:29.380126Z","title":"Tappler, A","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.380126Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:5bf198c138e04420d5a5463799b478ed9cad8e7540a074a80730d6f6b94994ce","observation_id":"5d569828-dbe9-468b-827e-c9bbca233f63","resolution":{"observed_at":"2026-08-07T11:07:29.380126Z","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-07T11:07:30.503487Z","title":"Thananjeyan, A","venue":null,"work_id":"3c7d2ba2-be80-4bbd-8c85-654bbeca63f5","year":2021},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.467453Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:a9641daf80cf06ca3d728da96944f564ac116c571965c73fcbab19913d7f72e8","observation_id":"ad93b22b-05b6-45b4-8dc9-9f3fd05eb949","resolution":{"observed_at":"2026-08-07T11:07:30.508489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T11:07:29.534168Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.534168Z"},"links":{"citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:a2cea77f9ecb534b8548f9f93c9fc96ae2d27c7ad50b1ba5d73c7489efa8362a","observation_id":"f70f3aed-90b8-4faf-848e-e4e4d92f8fe0","resolution":{"observed_at":"2026-08-07T11:07:29.534168Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.06139","last_updated":"2023-05-03T11:50:35Z","snapshot_observed_at":"2026-08-05T13:49:39.881669Z","submitted_at":"2020-03-13T07:33:34Z","title":"Empirical measurement of cosmic luminosity-angular distance relation","version":6},"cited_work":{"arxiv_id":"2003.06139","doi":null,"metadata_source":"pith","pith_arxiv_id":"2003.06139","snapshot_observed_at":"2026-08-07T11:07:29.936776Z","title":"Empirical measurement of cosmic luminosity-angular distance relation","venue":"physics.gen-ph","work_id":"e8c7adbc-4997-4ae2-939c-9d3bbf2b18c6","year":2020},"citing_paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T11:07:29.665846Z"},"links":{"cited_paper":"/paper/2003.06139","citing_paper":"/paper/2506.03469"},"observation_digest":"sha256:9d9e17bce2ca21597ca16360ef05541330b369e82dffee3959e8b8fdd2522879","observation_id":"efd38806-76c1-441e-aeb2-4683f3973e79","resolution":{"observed_at":"2026-08-07T11:07:30.039001Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.03469","last_updated":"2025-06-04T00:54:01Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T22:44:45.927292Z","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":4,"verified_fuzzy":12},"total_outbound_references":32},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2506.03469."}