{"as_of":"2026-08-08T05:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8fc9de1c8beb8827e4a6ca9268e775544399c88e681887e0fbc0a5670163c3c1","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:23:51.783154Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"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/2505.22104/citation-record","integrity":"/paper/2505.22104/integrity","json":"/paper/2505.22104/citation-record.json","paper":"/paper/2505.22104"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:23:49.666591Z","title":"In: Proceedings of the AAAI conference on artificial intelligence","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:49.666591Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:528ad0a6d0563e31cb45ed0d15dea0232166349bba9a5bb834b646ffc1d8d281","observation_id":"7b096545-62df-4fbf-ada7-64f80b5b4b33","resolution":{"observed_at":"2026-08-07T13:23:49.666591Z","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-07T13:23:49.832137Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:49.832137Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:a045405e4f2a6338976b8323f783e569db84131402c853232848c53ee1f1ff32","observation_id":"430b518b-2def-4c0b-8a94-cc6148917bc7","resolution":{"observed_at":"2026-08-07T13:23:49.832137Z","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-07T13:23:56.318339Z","title":"In: 2019 American Control Confer- ence (ACC)","venue":null,"work_id":"14d0d4d8-7f3c-40b5-a688-11768c984e18","year":2019},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:49.927908Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:20b39b74ca4fa1819c724a2fd43d69102dc46812148e8f88be4cf5ba7458adfb","observation_id":"14567463-e85f-41f9-abde-69d44120d071","resolution":{"observed_at":"2026-08-07T13:23:56.414164Z","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-07T13:23:50.015125Z","title":"In: International conference on tools and algo- rithms for the construction and analysis of systems","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.015125Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:3d35c4d03b615972ed06586bb6291a11617832cb07ab08ca989db7ee6d164641","observation_id":"356d4144-738f-457e-9a36-df30ab6711bd","resolution":{"observed_at":"2026-08-07T13:23:50.015125Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2101.11196","last_updated":"2021-02-02T18:30:53Z","snapshot_observed_at":"2026-07-06T10:35:57.315660Z","submitted_at":"2021-01-27T04:27:06Z","title":"Safe Multi-Agent Reinforcement Learning via Shielding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2101.11196","snapshot_observed_at":"2026-08-07T13:23:50.095616Z","title":"arXiv preprint arXiv:2101.11196 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.095616Z"},"links":{"cited_paper":"/paper/2101.11196","citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:7abf7c21ac50d15611cd2e0487d7d363f07facffc58abbdcdd7509db847a4f4c","observation_id":"0e8495f5-7bb4-4c17-aac5-b40a550bdd1e","resolution":{"observed_at":"2026-08-07T13:23:50.095616Z","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-07T13:23:56.163400Z","title":"Proceedings of the ACM on Programming Languages9(OOPSLA1), 816– 843 (2025)","venue":null,"work_id":"3621eaf2-8af0-4d4b-bd36-5ab9d362ad23","year":2025},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.176211Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:41de1ec295264e2b838b3b39a7c8b5dc59bcb9eace0e4e7895b9dca7cd5f79a0","observation_id":"70706638-7236-491b-baed-5ba956c29626","resolution":{"observed_at":"2026-08-07T13:23:56.226565Z","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-07T13:23:55.965191Z","title":"In: 2018 IEEE International Conference on Robotics and Automation (ICRA)","venue":null,"work_id":"3d1d9767-af24-44b9-be38-5ad13cd29d13","year":2018},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.256838Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:9b730559434635b6858a8cd78adf72c327d45240df85eae1e32e916dd6b94fbd","observation_id":"7a534b70-dc23-4a1d-9472-d843174d8464","resolution":{"observed_at":"2026-08-07T13:23:56.047925Z","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-07T13:23:55.777408Z","title":"In: International Workshop on Hybrid Systems: Computation and Control","venue":null,"work_id":"8cb933a6-9bec-427f-b518-b904cca5b5e1","year":2000},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.340325Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:90b781e378833bd8ce0828348dcba8f8fc962fa89dbe062c8b8a5dcd582d4f07","observation_id":"a93cf5f1-2ea4-4391-a18f-c67b8092382f","resolution":{"observed_at":"2026-08-07T13:23:55.884266Z","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-07T13:23:55.606976Z","title":"IEEE Robotics and Automation Letters 7(2), 5591–5598 (2022)","venue":null,"work_id":"c18e27ef-03f9-4f86-8844-1fc0ebc2282f","year":2022},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.411869Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:1e518bbda1126d95533cce2d66964ddfc381fb0f9a55b21a3a5561ef26488e22","observation_id":"b5c71c00-acdf-4671-a9a1-bda415106c61","resolution":{"observed_at":"2026-08-07T13:23:55.700090Z","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":"1807.06096","last_updated":"2019-11-25T16:12:41Z","snapshot_observed_at":"2026-07-06T06:50:32.662940Z","submitted_at":"2018-07-16T20:29:04Z","title":"Safe Reinforcement Learning via Probabilistic Shields","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1807.06096","snapshot_observed_at":"2026-08-07T13:23:50.468620Z","title":"arXiv preprint arXiv:1807.06096 (2018) 20 Davide Corsi , Kaushik Mallik , Andoni Rodríguez, and César Sánchez","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.468620Z"},"links":{"cited_paper":"/paper/1807.06096","citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:8dde65dee5e09244e29b0b81919daf48de6201c13937497dea94cd15af1aa8d2","observation_id":"8d4f9a6f-2ed7-4e04-b29a-00e7d28abeee","resolution":{"observed_at":"2026-08-07T13:23:50.468620Z","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-07T13:23:55.396872Z","title":"Formal Methods in System Design51, 332–361 (2017)","venue":null,"work_id":"33b0ab9e-9657-4186-b0f7-07c02067a638","year":2017},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.549337Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:2b39d184cfddba9a91a5ca2376923c940bbb36f7bc0c3540384cfb601dd4373c","observation_id":"62188ad2-6ad7-4a13-a8c4-05dd268f3908","resolution":{"observed_at":"2026-08-07T13:23:55.483898Z","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-07T13:23:55.175368Z","title":null,"venue":null,"work_id":"e1db2479-bfc6-4f0e-a4bb-c0083a402d2d","year":2023},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.630033Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:bec4896259292db51bc95de10462a6046bb64095e45412f176364011f004bb62","observation_id":"bae27c22-1ecf-49ea-a579-2547dcc717fc","resolution":{"observed_at":"2026-08-07T13:23:55.251638Z","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-07T13:23:55.010474Z","title":"In: 2020 IEEE International Conference on Robotics and Automation (ICRA)","venue":null,"work_id":"bc7db1a3-ac47-48e0-b874-f4a17eb213bb","year":2020},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.714442Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:04296bc97ddd9b6f5c3b96ec1c777220962e5b8e783dbd368a61238d10397011","observation_id":"92446978-cbda-47d1-9653-7b837a71c0d1","resolution":{"observed_at":"2026-08-07T13:23:55.099220Z","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-07T13:23:54.813514Z","title":"The International Journal of Robotics Research36(8), 947–982 (2017)","venue":null,"work_id":"1ef7d12f-e813-4555-bd5f-0b8a45550203","year":2017},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.797153Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:12f1d9286095c2db75222f64dde46cf23d5066d5e7d04a82db0da5d935f31005","observation_id":"42860234-9710-4cec-a01a-f312d9d3ac6b","resolution":{"observed_at":"2026-08-07T13:23:54.881452Z","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-07T13:23:54.645953Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":"b95b958d-7a68-43aa-b7f2-591eecdd4dd1","year":2023},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.875829Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:5b58b68914dccff85891c11a045831746f005ee2617c0297a1d22b564ab36568","observation_id":"6b93a342-b412-4c95-bdcf-64adf13385d8","resolution":{"observed_at":"2026-08-07T13:23:54.731275Z","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-07T13:23:54.450024Z","title":"Nonlinear Analysis: Hybrid Systems 51, 101430 (2024)","venue":null,"work_id":"96082258-34fc-47ee-a21c-75ad6523b1fc","year":2024},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:50.958519Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:5cb75e867c9f0fb08b3c470005d545f060e6a0b362253d587eef6d9429ff8583","observation_id":"df9beacb-dfd3-4321-b356-75f079b99807","resolution":{"observed_at":"2026-08-07T13:23:54.552049Z","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-07T13:23:54.298415Z","title":"IEEE Open Journal of Control Systems 2, 277–296 (2023)","venue":null,"work_id":"c7e33528-3b89-4131-b17c-b76f68ec3509","year":2023},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.007142Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:881cb8d3e3d29826d57970bab30441a82e2927829069303442d9b82796183eb2","observation_id":"c638bf57-8dc3-423f-b7d2-57fd69ea4284","resolution":{"observed_at":"2026-08-07T13:23:54.361168Z","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-07T13:23:54.174867Z","title":"Discrete Event Dynamic Systems27(2), 301–340 (2017)","venue":null,"work_id":"e7275f34-cacc-4633-84bd-4b4437695042","year":2017},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.061796Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:f671a9c034d1f07877158738a6ded255cf42a1a80c956256d9da2ec57f55d4a6","observation_id":"8a835a8c-049a-4259-9d54-08ec8da602ec","resolution":{"observed_at":"2026-08-07T13:23:54.251571Z","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-07T13:23:53.963836Z","title":"SIAM Journal on Control and Optimization 48(2), 719–733 (2009)","venue":null,"work_id":"4e1a75ef-346c-4bd4-b671-cdfad0d6d0a1","year":2009},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.115413Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:244264c8a794f1c44b5cc5cc39192875e54e796eab0cb71d4164732cbba3ebdf","observation_id":"d8f12a4c-149b-4ae3-ac8f-a0f3145d40df","resolution":{"observed_at":"2026-08-07T13:23:54.041462Z","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-07T13:23:53.751551Z","title":"In: Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast,QLD,Australia,October18–22,2021,Proceedings19.pp.222–228.Springer (2021)","venue":null,"work_id":"3ab4fd49-1bbd-4555-b901-16d13fec01ac","year":2021},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.216934Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:3558ed7d40f52a1bfc7579907bf60b4f7b34e0617e9cff0de76bfa954e0999bc","observation_id":"2e924d33-4a8c-41b6-bebb-50a3b5ab8d5d","resolution":{"observed_at":"2026-08-07T13:23:53.838206Z","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-07T13:23:53.553913Z","title":"In: 2021 American Control Conference (ACC)","venue":null,"work_id":"f55b8c7b-fb1a-4340-95bf-c156b741cc9d","year":2021},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.275519Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:f4c0a2e4a389b1c4f3ebf8322773d0c2eca22129e4b51b57e001ebf9941c4851","observation_id":"7efa2885-f2b0-45b5-8e23-5ccb2a98ba6d","resolution":{"observed_at":"2026-08-07T13:23:53.655245Z","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-07T13:23:53.384172Z","title":"In: 2021 IEEE International Conference on Robotics and Automation (ICRA)","venue":null,"work_id":"e033057f-98cd-4407-8b94-aafce9312f01","year":2021},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.344020Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:0912d5696f40e63c31dc9e9c29a5ccc01d49d21b065bf600362a0d750cb89002","observation_id":"840cafba-e61f-4f24-9103-5bbe5d70e3bc","resolution":{"observed_at":"2026-08-07T13:23:53.454441Z","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-07T13:23:53.219507Z","title":"International Journal of Engineering 38(1), 21–34 (2025)","venue":null,"work_id":"9c74289a-f644-472c-9cca-0269942ecee2","year":2025},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.407718Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:eb5442c0a13a97b47ae36441e0d11a98327f68fb7e46eceea01df22ef44dd035","observation_id":"51d4b941-3971-47e5-ac77-d5f8707332dd","resolution":{"observed_at":"2026-08-07T13:23:53.294315Z","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-07T13:23:52.998008Z","title":"IEEE Transactions on Automatic Control62(4), 1781–1796 (2016)","venue":null,"work_id":"f54822a4-0fc5-4d16-a03e-cbe237f78f58","year":2016},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.486783Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:e09f03f728bcaa1fa6e9f847e0e45dea8ae6e9d43f14347fb6527c21b45584c3","observation_id":"ac334d65-adef-4967-8c57-139aac3e4608","resolution":{"observed_at":"2026-08-07T13:23:53.107488Z","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-07T13:23:52.794541Z","title":"In: Proceedings of the 19th international conference on hybrid systems: Computation and control","venue":null,"work_id":"0c622098-f197-46b7-9838-bf081ee59d2c","year":2016},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.557341Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:c93a83767a7f3b956855a1f54a4faf93fcfe863ad4a0e5216fac270d4c8734c8","observation_id":"f758b35c-36b9-4275-b997-55eeaf91cb0c","resolution":{"observed_at":"2026-08-07T13:23:52.901614Z","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-07T13:23:52.562491Z","title":"IEEE Transactions on Automatic Control53(6), 1406–1418 (2008)","venue":null,"work_id":"a04c708e-8f7a-404a-b4ca-d2fc97f510fd","year":2008},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.617668Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:bb5d4683c2a87479d7724204edda299744be3f351fb54e30600494ed7596ec7c","observation_id":"4500caa4-2b06-41f2-8302-2369f98f3a12","resolution":{"observed_at":"2026-08-07T13:23:52.645882Z","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-07T13:23:52.340784Z","title":null,"venue":null,"work_id":"c8bb01f4-b05f-4952-aae8-cc38fe11dbee","year":2015},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.687876Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:e1a099202977b72271e345ed3a4c2cf8fb61e2a84bb32b905a774c6e1dafb277","observation_id":"2355c9b2-b856-405f-aac7-9788a8d12394","resolution":{"observed_at":"2026-08-07T13:23:52.472813Z","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-07T13:23:52.051822Z","title":"In: International Workshop on Hybrid Systems: Computation and Control","venue":null,"work_id":"59cae6a9-2e81-4821-b449-4fa30c9011cb","year":2000},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.761674Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:c462fc1d899e950f85620c2cb23481f4854b79a65e305fde6728c82eb9e8dc03","observation_id":"f043a923-20a0-47ab-a7a0-6c98d931e796","resolution":{"observed_at":"2026-08-07T13:23:52.198787Z","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-07T13:23:51.846214Z","title":"In: International Symposium on Automated Technology for Verification and Analysis","venue":null,"work_id":"87674676-2703-43a5-91f3-cf2040e5e5e8","year":2022},"citing_paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:51.783154Z"},"links":{"citing_paper":"/paper/2505.22104"},"observation_digest":"sha256:e95cef4d9b064faa86e843fa82ef440c509f840964cd4525247617d46e22941b","observation_id":"352c6406-52e9-46f7-bad5-f54a7266c9e6","resolution":{"observed_at":"2026-08-07T13:23:51.932997Z","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"}}],"paper":{"arxiv_id":"2505.22104","last_updated":"2025-05-28T08:30:03Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T13:12:43.858694Z","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":0,"verified_fuzzy":22},"total_outbound_references":29},"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 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2505.22104."}