Paper Citation Record · LEDGER

Quantitative Strategy Templates

As of 24 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2504.16528.

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

pith.paper-citation-record.v1
2504.16528 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:07:48.725499Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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

30 of 30 outbound references displayed

verified exact5
verified fuzzy8
unresolved14
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 024dc7e9-20f2-4aa4-baed-aed1216433c0 · outbound

This paper cites In: Tools and Algorithms for the Construction and Analysis of Systems (2023).

Quantitative Strategy Templates In: Tools and Algorithms for the Construction and Analysis of Systems (2023)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:07:49.456620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation cc8e4c8d-7065-4a6d-8ed8-b24a681ee989 · outbound

This paper cites In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I.

Quantitative Strategy Templates In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Reference 2

Resolution: malformed identifier; no resolver link, observed 2026-08-16T11:07:48.591903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee4658e9-a834-4f03-9a79-4b44010ec991 · outbound

This paper cites In: ATVA.

Quantitative Strategy Templates In: ATVA

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:07:49.442120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2b2cd45c-cb85-46d4-8ca0-aa20b39354e7 · outbound

This paper cites In: Proceedings of the 27th ACM International Con- ference on Hybrid Systems: Computation and Control.

Quantitative Strategy Templates In: Proceedings of the 27th ACM International Con- ference on Hybrid Systems: Computation and Control

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.601093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e24d673a-ded3-4b3d-818b-a53b04b1eca5 · outbound

This paper cites Theoretical Computer Science 807, 42–55 (2020).

Quantitative Strategy Templates Theoretical Computer Science 807, 42–55 (2020)

Reference 5

Resolution: verified exact; doi, observed 2026-08-16T11:07:48.923476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 622777ea-f61a-447d-af3e-9ce780880d0d · outbound

This paper cites RAIRO Theor.

Quantitative Strategy Templates RAIRO Theor

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.610689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8438247-36dc-4ccc-b652-c29d95bf60fd · outbound

This paper cites In: Cassez, F., Jard, C.

Quantitative Strategy Templates In: Cassez, F., Jard, C

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:07:49.427169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 359c8ab8-1d64-4167-8b0d-358eed9a64eb · outbound

This paper cites In: Bultan, T., Hsi- ung, P.

Quantitative Strategy Templates In: Bultan, T., Hsi- ung, P

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.624987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ade0b2e5-b7c2-436e-8a40-2179a1ccfbfa · outbound

This paper cites Formal Methods Syst.

Quantitative Strategy Templates Formal Methods Syst

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.629639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50480cf0-6020-4885-b131-17038503e5e9 · outbound

This paper cites In: Alur, R., Lee, I.

Quantitative Strategy Templates In: Alur, R., Lee, I

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:07:49.411323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation abac6233-4188-43f8-864e-606457b34827 · outbound

This paper cites In: Larsen, K.G., Bodlaender, H.L., Raskin, J.

Quantitative Strategy Templates In: Larsen, K.G., Bodlaender, H.L., Raskin, J

Reference 11

Resolution: verified exact; doi, observed 2026-08-16T11:07:48.858014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 11c19344-7af8-4b7e-b1c4-a83485713409 · outbound

This paper cites In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings.

Quantitative Strategy Templates In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.647444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b8f12db-e95b-4f46-96ac-23134c9e5b77 · outbound

This paper cites In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015.

Quantitative Strategy Templates In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:07:49.396158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5d251c6b-bbe9-4fac-9030-443f0b47fa05 · outbound

This paper cites Games on Graphs: From Logic and Automata to Algorithms.

Quantitative Strategy Templates Games on Graphs: From Logic and Automata to Algorithms

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.656581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 042032eb-bf93-4aa2-b6c2-fa73e9fde5a4 · outbound

This paper cites Games on Graphs: From Logic and Automata to Algorithms.

Quantitative Strategy Templates Games on Graphs: From Logic and Automata to Algorithms

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.661374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3e3647c-21ee-4d99-84ab-c53f1117d7d5 · outbound

This paper cites Automatica 127, 109543 (2021).

Quantitative Strategy Templates Automatica 127, 109543 (2021)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.665910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0346c0f5-66f8-440d-b79f-3796f2781362 · outbound

This paper cites In: CAV (2).

Quantitative Strategy Templates In: CAV (2)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:07:49.380918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a882306d-f3cd-415c-b4ce-7010e08eff5f · outbound

This paper cites In: 2017 IEEE/RSJ International Con- ference on Intelligent Robots and Systems (IROS).

Quantitative Strategy Templates In: 2017 IEEE/RSJ International Con- ference on Intelligent Robots and Systems (IROS)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.674767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fe3c91f-06c8-4241-82cf-f27e9336b9ba · outbound

This paper cites https://doi.org/10.5281/zenodo.8112518.

Quantitative Strategy Templates https://doi.org/10.5281/zenodo.8112518

Reference 19

Resolution: verified exact; doi, observed 2026-08-16T11:07:48.817280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6639d536-b47e-4c07-9e2e-6b542b5a2691 · outbound

This paper cites Acta Informatica 52(4-5), 443–482 (2015).

Quantitative Strategy Templates Acta Informatica 52(4-5), 443–482 (2015)

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.689855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40c405cc-468f-4e7d-875a-b09c28a5b02c · outbound

This paper cites In: Artho, C., Legay, A., Peled, D.

Quantitative Strategy Templates In: Artho, C., Legay, A., Peled, D

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:07:49.364825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f3f8bad9-8869-40cf-9dd0-b887c75769f1 · outbound

This paper cites In: 2023 IEEE/RSJ International Con- ference on Intelligent Robots and Systems (IROS).

Quantitative Strategy Templates In: 2023 IEEE/RSJ International Con- ference on Intelligent Robots and Systems (IROS)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.698871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0fa9c93-d02e-4b6b-b0c4-f26ec1ef6ef7 · outbound

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

Quantitative Strategy Templates IEEE Open Journal of Control Systems 2, 277–296 (2023)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.703111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5012af3-8798-4ce1-9ab6-61685aef593e · outbound

This paper cites In: Finkbeiner, B., Kovács, L.

Quantitative Strategy Templates In: Finkbeiner, B., Kovács, L

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-08-16T11:07:48.707534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fdf8d5f-d3aa-4b86-859f-52d9a0a5f34a · outbound

This paper cites an unresolved cited work.

Quantitative Strategy Templates Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-16T11:07:48.782544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5029ba84-2207-48cc-bab2-89276786c6b1 · outbound

This paper cites In: Robotics: Science and Systems (2021).

Quantitative Strategy Templates In: Robotics: Science and Systems (2021)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:07:49.347783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation bb6a99d0-c18e-4439-aced-374f027daeae · outbound

This paper cites Information and Computation 241, 177–196 (2015).

Quantitative Strategy Templates Information and Computation 241, 177–196 (2015)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.721120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0101417-7e7d-4f22-816e-37345d1973f9 · outbound

This paper cites an unresolved cited work.

Quantitative Strategy Templates Unresolved cited work

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-08-16T11:07:48.725499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91081546-4f29-4b1c-a08b-0f6bfacfc12c · outbound

This paper cites https://doi.org/10.1007/978-3-540-45212-6\_9, https:// doi.org/10.1007/978-3-540-45212-6\_9.

Quantitative Strategy Templates https://doi.org/10.1007/978-3-540-45212-6\_9, https:// doi.org/10.1007/978-3-540-45212-6\_9

Reference 133

Resolution: verified exact; doi, observed 2026-08-16T11:07:48.872456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation dffda793-0c23-41c7-9d96-c8ff8b78f5d1 · outbound

This paper cites Lecture Notes in Computer Science, vol.

Quantitative Strategy Templates Lecture Notes in Computer Science, vol

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.620419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.