Paper Citation Record · LEDGER

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems

As of 16 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2608.10254.

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

pith.paper-citation-record.v1
2608.10254 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:18:29.452371Z

measured 34 of 34 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

34 of 34 outbound references displayed

verified exact12
verified fuzzy7
unresolved11
parse uncertain0
malformed identifier1
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a4e4cfd3-3288-45c2-bf45-774cbb8c084f · outbound

This paper cites In: Proceedings of the ninth ACM international conference on Embedded software.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Proceedings of the ninth ACM international conference on Embedded software

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:27.884743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d6d3b27-0b38-4611-968b-8ef4529f2ad8 · outbound

This paper cites Theoretical Computer Science354(2), 250– 271 (Mar 2006).https://doi.org/10.1016/j.tcs.2005.11.026,https://www.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Theoretical Computer Science354(2), 250– 271 (Mar 2006).https://doi.org/10.1016/j.tcs.2005.11.026,https://www

Reference 2

Resolution: verified exact; doi, observed 2026-08-14T04:18:31.011075Z

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 d062fe2b-1ce5-4f8f-aab0-f74a7fd3eadd · outbound

This paper cites ACM Trans.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems ACM Trans

Reference 3

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T04:18:32.816473Z

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 b3dc8610-bdf5-4263-8a74-f36567dc2f0d · outbound

This paper cites MIT Press, Cambridge, MA, USA (Apr 2008).

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems MIT Press, Cambridge, MA, USA (Apr 2008)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:18:33.964826Z

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 5a4a322f-8183-48fb-9099-fad8c5772824 · outbound

This paper cites Statistics & Probability Letters82(6), 1102–1110 (Jun 2012).https://doi.org/10.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Statistics & Probability Letters82(6), 1102–1110 (Jun 2012).https://doi.org/10

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:18:33.805801Z

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 6d880c6b-2395-4804-a676-cd665a98f6d4 · outbound

This paper cites Information and Computation98(2), 142–170 (1992).

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Information and Computation98(2), 142–170 (1992)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:18:33.624739Z

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 19f3bcab-9268-4616-822e-28202edf9204 · outbound

This paper cites an unresolved cited work.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-14T04:18:33.484831Z

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 17c9c157-5a92-407d-8014-d9d856f73a2f · outbound

This paper cites ACM Trans.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems ACM Trans

Reference 8

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T04:18:32.502264Z

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 c858406c-162b-4618-bb63-4045a887c013 · outbound

This paper cites In: Biere, A., Bloem, R.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Biere, A., Bloem, R

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:18:33.325884Z

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 954dd33c-415a-4f0b-b558-ebeda89ce626 · outbound

This paper cites (eds.) NASA Formal Methods.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems (eds.) NASA Formal Methods

Reference 10

Resolution: verified exact; doi, observed 2026-08-14T04:18:30.795250Z

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 14aebb4e-403f-4d8c-91c7-f5968d1ef77f · outbound

This paper cites an unresolved cited work.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-14T04:18:30.739496Z

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 28372082-5fc6-4d19-9577-8afdc956f6e5 · outbound

This paper cites an unresolved cited work.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:28.412856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fae9336-979a-4812-9626-5837c49ed95b · outbound

This paper cites In: Goos, G., Hartmanis, J., Van Leeuwen, J., Garavel, H., Hatcliff, J.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Goos, G., Hartmanis, J., Van Leeuwen, J., Garavel, H., Hatcliff, J

Reference 13

Resolution: verified exact; doi, observed 2026-08-14T04:18:30.646224Z

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 e2270bef-5af7-449d-ab19-5387924d2a6a · outbound

This paper cites In: Emerson, E.A., Sistla, A.P.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Emerson, E.A., Sistla, A.P

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:18:33.228522Z

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 ad48406b-cabd-45c2-9415-4acf11ff98fd · outbound

This paper cites ACM Transactions on Pro- gramming Languages and Systems8(2), 244–263 (1986).https://doi.org/10.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems ACM Transactions on Pro- gramming Languages and Systems8(2), 244–263 (1986).https://doi.org/10

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:28.534752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 884e31b0-34b3-4258-9598-b13e45d38906 · outbound

This paper cites Data-driven Abstractions for Verification of Deterministic Systems.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Data-driven Abstractions for Verification of Deterministic Systems

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:28.559206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 776c471c-0faa-46dc-a93f-dceba583bdb7 · outbound

This paper cites In: 2021 60th IEEE Conference on Decision and Con- trol (CDC).

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: 2021 60th IEEE Conference on Decision and Con- trol (CDC)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:28.567269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24527a1e-65a8-4a95-8e46-12c2904fd018 · outbound

This paper cites In: Raskin, J.F., Thiagarajan, P.S.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Raskin, J.F., Thiagarajan, P.S

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:28.579395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ed706b0-7f7c-485f-a6ba-07c9e814537b · outbound

This paper cites In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R

Reference 19

Resolution: verified exact; doi, observed 2026-08-14T04:18:30.436456Z

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 e9a58c85-433e-4b09-9fb9-1337d28eecdf · outbound

This paper cites Ameri- can Journal of Mathematics79(3), 497–516 (1957).https://doi.org/10.2307/ 2372560,https://www.jstor.org/stable/2372560, publisher: The Johns Hop- kins University Press.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Ameri- can Journal of Mathematics79(3), 497–516 (1957).https://doi.org/10.2307/ 2372560,https://www.jstor.org/stable/2372560, publisher: The Johns Hop- kins University Press

Reference 20

Resolution: malformed identifier; no resolver link, observed 2026-08-14T04:18:28.711107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4762f79-9600-4735-8538-6844648aca5a · outbound

This paper cites In: Morari, M., Thiele, L.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Morari, M., Thiele, L

Reference 21

Resolution: verified exact; doi, observed 2026-08-14T04:18:30.271704Z

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 8b52129b-d98e-4220-ab72-4da610d0ec01 · outbound

This paper cites Inter- national Journal on Software Tools for Technology Transfer10(3), 263–279 (Jun 2008).https://doi.org/10.1007/s10009-007-0062-x,http://link.springer.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Inter- national Journal on Software Tools for Technology Transfer10(3), 263–279 (Jun 2008).https://doi.org/10.1007/s10009-007-0062-x,http://link.springer

Reference 22

Resolution: verified exact; doi, observed 2026-08-14T04:18:30.200384Z

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 8cd86023-9404-49ff-a260-9a76a5b8b12e · outbound

This paper cites In: Gopalakrishnan, G., Qadeer, S.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Gopalakrishnan, G., Qadeer, S

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:18:33.089746Z

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 19447d88-750c-4cfd-a066-fe15abd2a12a · outbound

This paper cites an unresolved cited work.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-14T04:18:30.092630Z

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 8b3bf198-a460-4027-9810-bfcd1fb09440 · outbound

This paper cites Annual Reviews in Control33(1), 25– 36 (Apr 2009).https://doi.org/10.1016/j.arcontrol.2009.03.002,https:// www.sciencedirect.com/science/article/pii/S1367578809000078.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Annual Reviews in Control33(1), 25– 36 (Apr 2009).https://doi.org/10.1016/j.arcontrol.2009.03.002,https:// www.sciencedirect.com/science/article/pii/S1367578809000078

Reference 25

Resolution: verified exact; doi, observed 2026-08-14T04:18:30.017391Z

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 d49feecc-19a5-4da9-a04b-d06394f56f12 · outbound

This paper cites In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:29.004752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfd5334c-d253-49f3-958e-c66f479bc223 · outbound

This paper cites In: Pro- ceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of pro- gramming languages.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Pro- ceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of pro- gramming languages

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:29.045144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6114ee19-ebd0-49f6-b97c-1abc05fe03df · outbound

This paper cites (eds.) Computer Aided Verification.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems (eds.) Computer Aided Verification

Reference 28

Resolution: verified exact; doi, observed 2026-08-14T04:18:29.859117Z

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 3d870ade-4389-47b2-946b-3bd3b48f43f1 · outbound

This paper cites IEEE Transactions on Automatic Control53(1), 287–297 (Feb 2008).https://doi.org/10.1109/TAC.2007.914952, http://ieeexplore.ieee.org/document/4459804/.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems IEEE Transactions on Automatic Control53(1), 287–297 (Feb 2008).https://doi.org/10.1109/TAC.2007.914952, http://ieeexplore.ieee.org/document/4459804/

Reference 29

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T04:18:31.484882Z

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 e359f1e9-1a2c-4b2d-b214-7f268a2a97b5 · outbound

This paper cites an unresolved cited work.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:29.290769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e04950f3-ef86-416c-8035-ccca5fe1ebc8 · outbound

This paper cites In: Proceedings of the Thirteenth Annual Conference on Computational Learning Theory.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Proceedings of the Thirteenth Annual Conference on Computational Learning Theory

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:18:33.017583Z

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 b6a0b967-79e2-4fff-b8cc-4253ded0fd74 · outbound

This paper cites In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control

Reference 32

Resolution: verified exact; doi, observed 2026-08-14T04:18:29.712158Z

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 64b022ae-f124-41bb-a39f-77451dee01d9 · outbound

This paper cites IFAC Proceedings Volumes44(1), 4546–4551 (Jan 2011).https://doi.org/10.3182/20110828-6-IT-1002.02568,https:// linkinghub.elsevier.com/retrieve/pii/S1474667016443247.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems IFAC Proceedings Volumes44(1), 4546–4551 (Jan 2011).https://doi.org/10.3182/20110828-6-IT-1002.02568,https:// linkinghub.elsevier.com/retrieve/pii/S1474667016443247

Reference 33

Resolution: verified exact; raw_fallback, observed 2026-08-14T04:18:31.240277Z

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 263695a2-64c6-4f97-b591-cb43cc169911 · outbound

This paper cites Gymnasium: A Standard Interface for Reinforcement Learning Environments.

A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems Gymnasium: A Standard Interface for Reinforcement Learning Environments

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-14T04:18:29.452371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.