{"as_of":"2026-08-10T09:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:78370fdb887dca19d23150a80dda4fff3954dc58f760796e5dd6f7ae33685bd4","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-10T06:31:04.303077+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:bf63e67511e738001ebc89c383697730bfebb01e7ef9b1012d1e9d430811bcf3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:4e4af0a65d532f54ac068b7cc730cc8dc4f2c7d1f2b16c1e03f245210dd35776","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:659fa7dccb9deba65be2234fffe8fd750297f2cbfbef80ef3eef5bb0d372c983","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:9dcf8104e355fdb645ca6899370a8424dc569efc5b4b6de46a8ee5749549b8b7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:3d081f145c68fd85e7fb3018ec4fba463f88d98ae7f1463c2641e48feed10cc2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-08T12:53:29.799739Z","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:835c1414cb601c75c0495d34342da59223e7934e50a0425dafe70889a4f05751","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:18702dbfc417d873558e223523ee4ae44f11dfeddb4e839b24c6a437835b9bc4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:849dfc7a7a89b6d26478d59578c19be1c12adead8423aae9ad22b0fd02e7ebf2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:d14269491ff88b35721601667ffc6a943c2abd30b9c54c26d92896243d6ac8c6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:37ffa2482a845300dfae07e6663ee2c08d25ead30ee902f9017539420df7efb3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:9d7584c68992272cd36628d1d6df9b15bbf8b4def4f57a1d8b88a2b224dcfc5e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:a98e60974bee16f241eff26d7b19a06edcb81bee339fc361727bada161e6212f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:4b55f90abe8c1c5c7a979934ab1c52e7cc9161194671f81298fdb129c07686f7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:aaacbbf987ca71a00390547f3dc01531c10fe2927df0f06607d5dbe9fc0828a0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:ed43571a8099a78afebcf278de324f48b3a1fc34bfc732437bf7935f58f9bf40","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f177474e8e4211a2571b97ec31d1f6c571c937c12c9afb94d5ffa46653c2401f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:d1fc8e3ddc813d1b91e969b5d1567b2dd1e97701e03504ecc60fad817018b7c2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:fd05b2191633582b9e8756de765c7adeb72a8ee9fae12b1d3dcb87a90d269db8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f695254344bb16c20a5d0fbc5294cc6601e412af98761b7eb7f74cc482702b51","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:0b355d702a4bb4a9d0a72f7c0f71a9e32f3eb0a018847ce429a85aac82b1aee8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:9ccc13b384da715152a61bfc5517be6e5340b5457ca2875492190825bf1dacdc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f388906a9bfeca6b51ef0bf4bb18632aef6b622c1bb2c5959a116a714604f5fe","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:4d0347acb9000cda6ef0bbc739a684c61cb18f8d339824a09804b9280e9e7221","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:3095c5ffd33343ab3a371bdbaab967de739b1f4e8b90ce7e6ba683eb5733ffe5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:7fffe43fd38dd41100069f2355c9333911188ac817bbfafb98b2a128bff6a98f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2505.22104."}