Paper Citation Record · LEDGER

Efficient Dynamic Shielding for Parametric Safety Specifications

As of 15 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2505.22104.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.22104 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:23:51.783154Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact0
verified fuzzy22
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7b096545-62df-4fbf-ada7-64f80b5b4b33 · outbound

This paper cites In: Proceedings of the AAAI conference on artificial intelligence.

Efficient Dynamic Shielding for Parametric Safety Specifications In: Proceedings of the AAAI conference on artificial intelligence

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T13:23:49.666591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 430b518b-2def-4c0b-8a94-cc6148917bc7 · outbound

This paper cites In: International Conference on Computer Aided Verification.

Efficient Dynamic Shielding for Parametric Safety Specifications In: International Conference on Computer Aided Verification

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T13:23:49.832137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14567463-e85f-41f9-abde-69d44120d071 · outbound

This paper cites In: 2019 American Control Confer- ence (ACC).

Efficient Dynamic Shielding for Parametric Safety Specifications In: 2019 American Control Confer- ence (ACC)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:56.414164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 356d4144-738f-457e-9a36-df30ab6711bd · outbound

This paper cites In: International conference on tools and algo- rithms for the construction and analysis of systems.

Efficient Dynamic Shielding for Parametric Safety Specifications In: International conference on tools and algo- rithms for the construction and analysis of systems

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T13:23:50.015125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e8495f5-7bb4-4c17-aac5-b40a550bdd1e · outbound

This paper cites Safe Multi-Agent Reinforcement Learning via Shielding.

Efficient Dynamic Shielding for Parametric Safety Specifications Safe Multi-Agent Reinforcement Learning via Shielding

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T13:23:50.095616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70706638-7236-491b-baed-5ba956c29626 · outbound

This paper cites Proceedings of the ACM on Programming Languages9(OOPSLA1), 816– 843 (2025).

Efficient Dynamic Shielding for Parametric Safety Specifications Proceedings of the ACM on Programming Languages9(OOPSLA1), 816– 843 (2025)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:56.226565Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7a534b70-dc23-4a1d-9472-d843174d8464 · outbound

This paper cites In: 2018 IEEE International Conference on Robotics and Automation (ICRA).

Efficient Dynamic Shielding for Parametric Safety Specifications In: 2018 IEEE International Conference on Robotics and Automation (ICRA)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:56.047925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a93cf5f1-2ea4-4391-a18f-c67b8092382f · outbound

This paper cites In: International Workshop on Hybrid Systems: Computation and Control.

Efficient Dynamic Shielding for Parametric Safety Specifications In: International Workshop on Hybrid Systems: Computation and Control

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:55.884266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b5c71c00-acdf-4671-a9a1-bda415106c61 · outbound

This paper cites IEEE Robotics and Automation Letters 7(2), 5591–5598 (2022).

Efficient Dynamic Shielding for Parametric Safety Specifications IEEE Robotics and Automation Letters 7(2), 5591–5598 (2022)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:55.700090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 8d4f9a6f-2ed7-4e04-b29a-00e7d28abeee · outbound

This paper cites Safe Reinforcement Learning via Probabilistic Shields.

Efficient Dynamic Shielding for Parametric Safety Specifications Safe Reinforcement Learning via Probabilistic Shields

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T13:23:50.468620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62188ad2-6ad7-4a13-a8c4-05dd268f3908 · outbound

This paper cites Formal Methods in System Design51, 332–361 (2017).

Efficient Dynamic Shielding for Parametric Safety Specifications Formal Methods in System Design51, 332–361 (2017)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:55.483898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation bae27c22-1ecf-49ea-a579-2547dcc717fc · outbound

This paper cites an unresolved cited work.

Efficient Dynamic Shielding for Parametric Safety Specifications Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:23:55.251638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 92446978-cbda-47d1-9653-7b837a71c0d1 · outbound

This paper cites In: 2020 IEEE International Conference on Robotics and Automation (ICRA).

Efficient Dynamic Shielding for Parametric Safety Specifications In: 2020 IEEE International Conference on Robotics and Automation (ICRA)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:55.099220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 42860234-9710-4cec-a01a-f312d9d3ac6b · outbound

This paper cites The International Journal of Robotics Research36(8), 947–982 (2017).

Efficient Dynamic Shielding for Parametric Safety Specifications The International Journal of Robotics Research36(8), 947–982 (2017)

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:54.881452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6b93a342-b412-4c95-bdcf-64adf13385d8 · outbound

This paper cites In: International Conference on Computer Aided Verification.

Efficient Dynamic Shielding for Parametric Safety Specifications In: International Conference on Computer Aided Verification

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:54.731275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation df9beacb-dfd3-4321-b356-75f079b99807 · outbound

This paper cites Nonlinear Analysis: Hybrid Systems 51, 101430 (2024).

Efficient Dynamic Shielding for Parametric Safety Specifications Nonlinear Analysis: Hybrid Systems 51, 101430 (2024)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:54.552049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c638bf57-8dc3-423f-b7d2-57fd69ea4284 · outbound

This paper cites IEEE Open Journal of Control Systems 2, 277–296 (2023).

Efficient Dynamic Shielding for Parametric Safety Specifications IEEE Open Journal of Control Systems 2, 277–296 (2023)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:54.361168Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 8a835a8c-049a-4259-9d54-08ec8da602ec · outbound

This paper cites Discrete Event Dynamic Systems27(2), 301–340 (2017).

Efficient Dynamic Shielding for Parametric Safety Specifications Discrete Event Dynamic Systems27(2), 301–340 (2017)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:54.251571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d8f12a4c-149b-4ae3-ac8f-a0f3145d40df · outbound

This paper cites SIAM Journal on Control and Optimization 48(2), 719–733 (2009).

Efficient Dynamic Shielding for Parametric Safety Specifications SIAM Journal on Control and Optimization 48(2), 719–733 (2009)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:54.041462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2e924d33-4a8c-41b6-bebb-50a3b5ab8d5d · outbound

This paper cites 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).

Efficient Dynamic Shielding for Parametric Safety Specifications 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)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:53.838206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7efa2885-f2b0-45b5-8e23-5ccb2a98ba6d · outbound

This paper cites In: 2021 American Control Conference (ACC).

Efficient Dynamic Shielding for Parametric Safety Specifications In: 2021 American Control Conference (ACC)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:53.655245Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 840cafba-e61f-4f24-9103-5bbe5d70e3bc · outbound

This paper cites In: 2021 IEEE International Conference on Robotics and Automation (ICRA).

Efficient Dynamic Shielding for Parametric Safety Specifications In: 2021 IEEE International Conference on Robotics and Automation (ICRA)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:53.454441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 51d4b941-3971-47e5-ac77-d5f8707332dd · outbound

This paper cites International Journal of Engineering 38(1), 21–34 (2025).

Efficient Dynamic Shielding for Parametric Safety Specifications International Journal of Engineering 38(1), 21–34 (2025)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:53.294315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ac334d65-adef-4967-8c57-139aac3e4608 · outbound

This paper cites IEEE Transactions on Automatic Control62(4), 1781–1796 (2016).

Efficient Dynamic Shielding for Parametric Safety Specifications IEEE Transactions on Automatic Control62(4), 1781–1796 (2016)

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:53.107488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f758b35c-36b9-4275-b997-55eeaf91cb0c · outbound

This paper cites In: Proceedings of the 19th international conference on hybrid systems: Computation and control.

Efficient Dynamic Shielding for Parametric Safety Specifications In: Proceedings of the 19th international conference on hybrid systems: Computation and control

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:52.901614Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4500caa4-2b06-41f2-8302-2369f98f3a12 · outbound

This paper cites IEEE Transactions on Automatic Control53(6), 1406–1418 (2008).

Efficient Dynamic Shielding for Parametric Safety Specifications IEEE Transactions on Automatic Control53(6), 1406–1418 (2008)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:52.645882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2355c9b2-b856-405f-aac7-9788a8d12394 · outbound

This paper cites an unresolved cited work.

Efficient Dynamic Shielding for Parametric Safety Specifications Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:23:52.472813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f043a923-20a0-47ab-a7a0-6c98d931e796 · outbound

This paper cites In: International Workshop on Hybrid Systems: Computation and Control.

Efficient Dynamic Shielding for Parametric Safety Specifications In: International Workshop on Hybrid Systems: Computation and Control

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:52.198787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 352c6406-52e9-46f7-bad5-f54a7266c9e6 · outbound

This paper cites In: International Symposium on Automated Technology for Verification and Analysis.

Efficient Dynamic Shielding for Parametric Safety Specifications In: International Symposium on Automated Technology for Verification and Analysis

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:23:51.932997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

No inbound Pith citation observations are available.