Paper Citation Record · LEDGER

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators

As of 20 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2606.28429.

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

pith.paper-citation-record.v1
2606.28429 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-30T00:31:25.822846Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

37 of 37 outbound references displayed

verified exact9
verified fuzzy0
unresolved21
parse uncertain0
malformed identifier3
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 75675401-a412-49f9-b567-784bd9274917 · outbound

This paper cites an unresolved cited work.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5128814d-c610-416e-94d7-2f7ff42cf54a · outbound

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

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: 2021 60th IEEE Conference on Decision and Control (CDC)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2877a10-3376-4871-b566-732738e3cb2a · outbound

This paper cites ALTRO: A Fast Solver for Constrained Trajectory Optimization.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators ALTRO: A Fast Solver for Constrained Trajectory Optimization

Reference 3

Resolution: malformed identifier; arxiv_id, observed 2026-07-01T16:35:50.424731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 20fb35a5-46a8-4b65-b9d8-b9b522592f15 · outbound

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

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-06-30T00:34:04.267625Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 75295cb8-2208-44c5-a822-f6b1a7e1da87 · outbound

This paper cites In: Pro- ceedings of the 28th ACM International Conference on Hybrid Systems: Computa- tionandControl.HSCC’25,AssociationforComputingMachinery,NewYork,NY, USA (2025).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Pro- ceedings of the 28th ACM International Conference on Hybrid Systems: Computa- tionandControl.HSCC’25,AssociationforComputingMachinery,NewYork,NY, USA (2025)

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-06-30T00:34:04.270457Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8c9b54ec-e351-406e-a40b-91479ef401ff · outbound

This paper cites ISBN 9781450350938.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators ISBN 9781450350938

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-06-30T00:34:04.262826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b3cf0c6f-1331-4eb0-98b3-e4bdde74d1f8 · outbound

This paper cites On the Robustness of Temporal Properties for Stochastic Models.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators On the Robustness of Temporal Properties for Stochastic Models

Reference 7

Resolution: metadata mismatch; local_arxiv, observed 2026-07-01T16:35:50.422134Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d1b78145-3247-4150-a046-adcd89aac4dc · outbound

This paper cites In: International Conference on Formal Modeling and Analysis of Timed Systems.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: International Conference on Formal Modeling and Analysis of Timed Systems

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a01e3f8f-56a2-4ff7-84e4-426956f8e467 · outbound

This paper cites Journal of the Australian Mathematical Society34(3), 377–393 (Jun 1983).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Journal of the Australian Mathematical Society34(3), 377–393 (Jun 1983)

Reference 9

Resolution: verified exact; doi, observed 2026-06-30T00:34:04.279794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0673be17-fb52-4225-a2bf-60bf936bb8c0 · outbound

This paper cites In: Chatterjee, K., Henzinger, T.A.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Chatterjee, K., Henzinger, T.A

Reference 10

Resolution: verified exact; doi, observed 2026-06-30T00:34:04.275993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6056ede7-fb5c-4466-a659-4269a7f4fa11 · outbound

This paper cites Theoretical Computer Science410(42), 4262–4291 (2009).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Theoretical Computer Science410(42), 4262–4291 (2009)

Reference 11

Resolution: verified exact; doi, observed 2026-06-30T00:34:04.277866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3d6c790d-fb18-442f-bdc4-4614361dccb6 · outbound

This paper cites The First-Order Logic of Hyperproperties.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators The First-Order Logic of Hyperproperties

Reference 12

Resolution: metadata mismatch; local_arxiv, observed 2026-07-01T16:35:50.419751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d7e9df3c-a793-429b-9a19-21cd7c06ec01 · outbound

This paper cites Springer Netherlands, Dordrecht (1999).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Springer Netherlands, Dordrecht (1999)

Reference 13

Resolution: verified exact; doi, observed 2026-06-30T00:34:04.274022Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ba7f639d-facd-4b75-ad9d-e98425e62c41 · outbound

This paper cites In: Proceedings of 18 Paul, Kudalkar & Balakrishnan et.al.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Proceedings of 18 Paul, Kudalkar & Balakrishnan et.al

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d803e369-a3a5-487c-8ad5-5e6806888641 · outbound

This paper cites In: 2019 IEEE 58th Conference on Decision and Control (CDC).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: 2019 IEEE 58th Conference on Decision and Control (CDC)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 562710d9-b0d6-4102-a726-2f1ee6cc8c22 · outbound

This paper cites Formal Methods in System Design53(1), 83–112 (Aug 2018).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Formal Methods in System Design53(1), 83–112 (Aug 2018)

Reference 16

Resolution: verified exact; doi, observed 2026-06-30T00:34:04.272324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 23809cb9-c416-4afb-ad7c-909ccfb43d8d · outbound

This paper cites arXiv preprint arXiv:2511.08502 (2025).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators arXiv preprint arXiv:2511.08502 (2025)

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-07-01T16:35:50.427142Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 640bc08d-b889-4520-a461-1b7b119aa970 · outbound

This paper cites In: International Conference on Runtime Verification.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: International Conference on Runtime Verification

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5953282b-5951-4b26-b1f0-8886f1908d30 · outbound

This paper cites In: Proceedings of the International Conference on Automated Planning and Schedul- ing.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Proceedings of the International Conference on Automated Planning and Schedul- ing

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae0e9fd0-818c-478b-8f76-6e41a17ecd1c · outbound

This paper cites Springer Berlin Heidel- berg, Berlin, Heidelberg (1986).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Springer Berlin Heidel- berg, Berlin, Heidelberg (1986)

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f89e698c-4498-4efc-ab86-065b71657d80 · outbound

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

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 589b5a47-c707-4c97-bff5-d3bf4513f9ca · outbound

This paper cites In: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f52f02fc-420c-4842-a540-7b674f99cc8b · outbound

This paper cites In: Lakhnech, Y., Yovine, S.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Lakhnech, Y., Yovine, S

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7cffc83-44ff-463f-bb47-14896d4d4b34 · outbound

This paper cites In: 2019 American Control Con- ference (ACC).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: 2019 American Control Con- ference (ACC)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afc8bc2e-6cd4-40c4-8c9c-47bf1b992b09 · outbound

This paper cites Logical Methods in Computer ScienceVolume 18, Issue 1(Jan 2022).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Logical Methods in Computer ScienceVolume 18, Issue 1(Jan 2022)

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ba33625-fb61-481b-a88f-3e4a609c0c44 · outbound

This paper cites Logical Methods in Computer ScienceVolume 14, Issue 4(Oct 2018).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Logical Methods in Computer ScienceVolume 14, Issue 4(Oct 2018)

Reference 26

Resolution: malformed identifier; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 900b0f6b-e902-440e-b58f-7d4ec2d3673f · outbound

This paper cites In: 2017 IEEE Conference on Control Tech- nology and Applications (CCTA).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: 2017 IEEE Conference on Control Tech- nology and Applications (CCTA)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92082c8e-9bc4-427c-99f0-cd5c254f502d · outbound

This paper cites In: Hillston, J., Soudjani, S., Waga, M.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Hillston, J., Soudjani, S., Waga, M

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3ca4bc6-1398-4f84-9221-fb22d54be362 · outbound

This paper cites IOS Press (Oct 2024).

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators IOS Press (Oct 2024)

Reference 29

Resolution: verified exact; doi, observed 2026-06-30T00:34:04.264781Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2344c2c3-fb27-4972-a0b4-4d784a6e1d39 · outbound

This paper cites In: 53rd IEEE Conference on Decision and Control.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: 53rd IEEE Conference on Decision and Control

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95849c37-6d8e-407a-b2ce-b2e8802c0529 · outbound

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

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed55b281-03d0-4073-b489-5205366234bf · outbound

This paper cites STL-Based Motion Planning and Uncertainty-Aware Risk Analysis for Human-Robot Collaboration with a Multi-Rotor Aerial Vehicle.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators STL-Based Motion Planning and Uncertainty-Aware Risk Analysis for Human-Robot Collaboration with a Multi-Rotor Aerial Vehicle

Reference 32

Resolution: metadata mismatch; local_arxiv, observed 2026-07-01T16:35:50.429677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 72efcdeb-3677-475f-b575-e484ac3336f3 · outbound

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

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0687365-f37d-4ed9-af53-1cdb129279a8 · outbound

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

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators In: Robotics: Science and Systems (2017)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 577e4802-f7b3-42ee-86e4-6c10d1cd040e · outbound

This paper cites ACM Transactions on Embedded Computing Systems24(5s), 1–23 (2025) 20 Paul, Kudalkar & Balakrishnan et.al.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators ACM Transactions on Embedded Computing Systems24(5s), 1–23 (2025) 20 Paul, Kudalkar & Balakrishnan et.al

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d28c099-ed55-4ced-a481-0202b7a3d3e9 · outbound

This paper cites an unresolved cited work.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a6b98af-582c-4e75-b2bb-4ea4da176dbe · outbound

This paper cites at least 5 neighbors satisfyψ.

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators at least 5 neighbors satisfyψ

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-30T00:31:25.822846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.