{"as_of":"2026-08-20T10:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c0afe14b1b7873ba5d125d4bcab10ca474d16eda7b1f30de4353f072c80b0e9e","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-30T00:31:25.822846Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2606.28429/citation-record","integrity":"/paper/2606.28429/integrity","json":"/paper/2606.28429/citation-record.json","paper":"/paper/2606.28429"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-30T00:31:25.822846Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:45d4ac77af4fa2fdf856388d58139397c065c967105ec53a0308b59a63dca502","observation_id":"75675401-a412-49f9-b567-784bd9274917","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: 2021 60th IEEE Conference on Decision and Control (CDC)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:2d8ac78a758c3d1f8593f2129ad172ed28f34bdf4813084a495ea13c677605fb","observation_id":"5128814d-c610-416e-94d7-2f7ff42cf54a","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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":"0897.2019","doi":"10.1109/iros40897.2019","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ALTRO: A Fast Solver for Constrained Trajectory Optimization","venue":null,"work_id":"1aca2813-2a5d-4575-83f4-976d631dfc10","year":2019},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:6a14bed5a0aae612e940c3e85ad793a79f7206783dac56a5ef4d9b2cf8965c30","observation_id":"b2877a10-3376-4871-b566-732738e3cb2a","resolution":{"observed_at":"2026-07-01T16:35:50.424731Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1710.352473","doi":"10.1145/3501710.3524734","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":"31c8e09e-4f8d-4049-ae8f-292de6aac1c4","year":2022},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:67ae2eb3dc6275803b700de950a23b44865b14eab96b0b1a20e875a8279d3c1c","observation_id":"20fb35a5-46a8-4b65-b9d8-b9b522592f15","resolution":{"observed_at":"2026-06-30T00:34:04.267625Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6863.371803","doi":"10.1145/3716863.3718033","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Pro- ceedings of the 28th ACM International Conference on Hybrid Systems: Computa- tionandControl.HSCC’25,AssociationforComputingMachinery,NewYork,NY, USA (2025)","venue":null,"work_id":"449fe73d-e9eb-4f45-9e3b-8cd531ad1433","year":2025},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:c4efbc7738b20276e504ba4cef667ee91a7bee5662e265df8cc68a613891fa6c","observation_id":"75295cb8-2208-44c5-a822-f6b1a7e1da87","resolution":{"observed_at":"2026-06-30T00:34:04.270457Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7041.312705","doi":"10.1145/3127041.3127050","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ISBN 9781450350938","venue":null,"work_id":"2ea429f3-f7f4-429c-9264-5e4e796d6c4d","year":2017},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:a8d39c01a21b9b6b1c9d1acf329172d57b081446263c6e43fa51d1e4c46349de","observation_id":"8c9b54ec-e351-406e-a40b-91479ef401ff","resolution":{"observed_at":"2026-06-30T00:34:04.262826Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-05-20T20:52:38.849403+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T20:52:38.849403+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1309.0866","last_updated":"2013-09-03T23:40:49Z","snapshot_observed_at":"2026-08-15T00:04:28.721876Z","submitted_at":"2013-09-03T23:40:49Z","title":"On the Robustness of Temporal Properties for Stochastic Models","version":1},"cited_work":{"arxiv_id":"1309.0866","doi":null,"metadata_source":"pith","pith_arxiv_id":"1309.0866","snapshot_observed_at":"2026-07-01T16:35:50.420916Z","title":"On the Robustness of Temporal Properties for Stochastic Models","venue":"cs.LO","work_id":"e5999244-fa92-4339-bad6-b8b06358abaf","year":2013},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"cited_paper":"/paper/1309.0866","citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:9dc1e57976b432ab4e11f852d3ce3249f9f06b583aee0ae6dff2c563c9ea0bbd","observation_id":"b3cf0c6f-1331-4eb0-98b3-e4bdde74d1f8","resolution":{"observed_at":"2026-07-01T16:35:50.422134Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06-30T00:31:25.822846Z","title":"In: International Conference on Formal Modeling and Analysis of Timed Systems","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:146f94951f02ceb7a42cf7c285ed3a6557a9ecf1c4d88ef44357d78c2f24cbae","observation_id":"d1b78145-3247-4150-a046-adcd89aac4dc","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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":"10.1017/s1446788700023806","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Journal of the Australian Mathematical Society34(3), 377–393 (Jun 1983)","venue":"Journal of the Australian Mathematical Society Series A Pure Mathematics and Statistics","work_id":"c569c1c4-6a61-4ae9-8629-a0e7b080fb19","year":1983},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:154bc2ecc991a4e1d0de500ae3499fc8cf9a3cd72b76bd242bd24e88dd75f7cf","observation_id":"a01e3f8f-56a2-4ff7-84e4-426956f8e467","resolution":{"observed_at":"2026-06-30T00:34:04.279794Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-15297-9_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Chatterjee, K., Henzinger, T.A","venue":"Lecture notes in computer science","work_id":"82f92b27-ca22-4d70-9c3e-226903118f20","year":2010},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:5f51d3a3094f03ddc679538f541eac1194ec483586c63a0305b15d64326f7a50","observation_id":"0673be17-fb52-4225-a2bf-60bf936bb8c0","resolution":{"observed_at":"2026-06-30T00:34:04.275993Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2009.06.021","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoretical Computer Science410(42), 4262–4291 (2009)","venue":"Theoretical Computer Science","work_id":"3e83de1b-789b-4e91-ab04-b6220263f995","year":2009},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:51b5e0b033ea9f627a0475ba36b4d543b8aa0deb6968444aa5737b1bcc36c730","observation_id":"6056ede7-fb5c-4466-a659-4269a7f4fa11","resolution":{"observed_at":"2026-06-30T00:34:04.277866Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1610.04388","last_updated":"2017-01-09T13:44:21Z","snapshot_observed_at":"2026-08-14T21:35:15.911237Z","submitted_at":"2016-10-14T10:07:47Z","title":"The First-Order Logic of Hyperproperties","version":2},"cited_work":{"arxiv_id":"1610.04388","doi":null,"metadata_source":"pith","pith_arxiv_id":"1610.04388","snapshot_observed_at":"2026-07-01T16:35:50.418487Z","title":"The First-Order Logic of Hyperproperties","venue":"cs.LO","work_id":"e817d563-7c04-4e4f-92f1-f0a9b91167d8","year":2016},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"cited_paper":"/paper/1610.04388","citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:2c4bec00e992941b9249746e85caff8d4895a4cf85ebcfceee0ff1639bc4b106","observation_id":"3d6c790d-fb18-442f-bdc4-4614361dccb6","resolution":{"observed_at":"2026-07-01T16:35:50.419751Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-94-015-9333-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer Netherlands, Dordrecht (1999)","venue":null,"work_id":"9415555d-9679-4af5-9bcb-8a512468841f","year":1999},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:29cae3173f4b2e1ab0ff0d16a659284935ccf659fd3e1d4f136371884a585d4d","observation_id":"d7e9df3c-a793-429b-9a19-21cd7c06ec01","resolution":{"observed_at":"2026-06-30T00:34:04.274022Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06-30T00:31:25.822846Z","title":"In: Proceedings of 18 Paul, Kudalkar & Balakrishnan et.al","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:8253ea59fb3e5981d75fcd218e52a223fac2b48a12ed45524f6b4e90eef0a70d","observation_id":"ba7f639d-facd-4b75-ad9d-e98425e62c41","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: 2019 IEEE 58th Conference on Decision and Control (CDC)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:ef0909257424d3a178d9f36f99e7f5fb49a3a24a8aa98c8d0a4196e0e1a26ff3","observation_id":"d803e369-a3a5-487c-8ad5-5e6806888641","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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":"10.1007/s10703-018-0319-x","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Formal Methods in System Design53(1), 83–112 (Aug 2018)","venue":"Formal Methods in System Design","work_id":"1ae7df28-1d5b-4c68-bf9f-d67a5d97d311","year":2018},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:aa4aee9dfebf15dd850faabe558ffc71446e46372d94f87655fd12ff33e602c9","observation_id":"562710d9-b0d6-4102-a726-2f1ee6cc8c22","resolution":{"observed_at":"2026-06-30T00:34:04.272324Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2511.08502","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-01T16:35:50.425837Z","title":"arXiv preprint arXiv:2511.08502 (2025)","venue":null,"work_id":"7dc799a3-5dde-4ba4-b24c-358a6c00a3dc","year":2025},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:b43c980cc036f74684ad8a263abfbdc9ccdd708cc8c1406757469cfab363e626","observation_id":"23809cb9-c416-4afb-ad7c-909ccfb43d8d","resolution":{"observed_at":"2026-07-01T16:35:50.427142Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06-30T00:31:25.822846Z","title":"In: International Conference on Runtime Verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:1f493c7be473eb46ce08be2afdd6ce7e1477904fed87e35d37056df515eac6a8","observation_id":"640bc08d-b889-4520-a461-1b7b119aa970","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: Proceedings of the International Conference on Automated Planning and Schedul- ing","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:5dd0a450c40429845535ddcd560f897d2fec7f40003ba3161cfd21c31c12c83d","observation_id":"5953282b-5951-4b26-b1f0-8886f1908d30","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"Springer Berlin Heidel- berg, Berlin, Heidelberg (1986)","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:6f313432d096a10d866d0c40ccc242a655b3ed7cece57349edef9092422ab909","observation_id":"ae0e9fd0-818c-478b-8f76-6e41a17ecd1c","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:899ec2aeff54a316b6f48b511c73712ab8109b3e5755ac7b16b224e34b7a2d58","observation_id":"f89e698c-4498-4efc-ab86-065b71657d80","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:aad902601005e970a209d908d6d946fb0f723246a0785646f32c0a66d065d134","observation_id":"589b5a47-c707-4c97-bff5-d3bf4513f9ca","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: Lakhnech, Y., Yovine, S","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:aa70549cb096ff20bfe2515500082201b2bea28e098181a74b1029a609782a49","observation_id":"f52f02fc-420c-4842-a540-7b674f99cc8b","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: 2019 American Control Con- ference (ACC)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:29216bdf55ece5872f0cd2127c85c9f8886e8f67845d9847d45eb607a804e0bb","observation_id":"c7cffc83-44ff-463f-bb47-14896d4d4b34","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"Logical Methods in Computer ScienceVolume 18, Issue 1(Jan 2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:d17bd79843e3928768a10959a8f5d9c2ada5215ec78c1cc4a51c53a42edb31ef","observation_id":"afc8bc2e-6cd4-40c4-8c9c-47bf1b992b09","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","resolver_source":null,"status":"malformed_identifier"},"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-06-30T00:31:25.822846Z","title":"Logical Methods in Computer ScienceVolume 14, Issue 4(Oct 2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:39ec64335575657365106cdf5f7cfc1b2c447effebab7c278bf48bc3254f4866","observation_id":"3ba33625-fb61-481b-a88f-3e4a609c0c44","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","resolver_source":null,"status":"malformed_identifier"},"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-06-30T00:31:25.822846Z","title":"In: 2017 IEEE Conference on Control Tech- nology and Applications (CCTA)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:3aed3721b4acea9b9692271a077b23a471a2e4d465867668e5a4b3c4f3f7a452","observation_id":"900b0f6b-e902-440e-b58f-7d4ec2d3673f","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: Hillston, J., Soudjani, S., Waga, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:1b738a4b7077098125a67a3328b1681b027aa3f8f79331767dae0bc20eb0f893","observation_id":"92082c8e-9bc4-427c-99f0-cd5c254f502d","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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":"10.3233/faia240874","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"IOS Press (Oct 2024)","venue":"Frontiers in artificial intelligence and applications","work_id":"3d9c2564-a1d7-4d25-92cd-e59d6a7e72e5","year":2024},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:2b69fa8df7b44d6e934d659217ff415621ae00f83ab85c55abb5f86564b51ab2","observation_id":"b3ca4bc6-1398-4f84-9221-fb22d54be362","resolution":{"observed_at":"2026-06-30T00:34:04.264781Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06-30T00:31:25.822846Z","title":"In: 53rd IEEE Conference on Decision and Control","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:ec1a01760848cfa96f0d4fd9d8d86f3e7e0be1b1082bc1a34df7f9ac6465604f","observation_id":"2344c2c3-fb27-4972-a0b4-4d784a6e1d39","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:a31d0df26b5f03977b909c9e0aa48c5d2703d6190c798d9b0e01400236299d29","observation_id":"95849c37-6d8e-407a-b2ce-b2e8802c0529","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2509.10692","last_updated":"2026-05-12T07:31:27Z","snapshot_observed_at":"2026-08-01T00:19:11.332676Z","submitted_at":"2025-09-12T21:09:57Z","title":"STL-Based Motion Planning and Uncertainty-Aware Risk Analysis for Human-Robot Collaboration with a Multi-Rotor Aerial Vehicle","version":4},"cited_work":{"arxiv_id":"2509.10692","doi":null,"metadata_source":"pith","pith_arxiv_id":"2509.10692","snapshot_observed_at":"2026-07-01T16:35:50.428268Z","title":"STL-Based Motion Planning and Uncertainty-Aware Risk Analysis for Human-Robot Collaboration with a Multi-Rotor Aerial Vehicle","venue":"cs.RO","work_id":"8ca83a5c-f1c5-4e27-8a1c-d99ca25b90ae","year":2025},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"cited_paper":"/paper/2509.10692","citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:a6e0c77e802a5be88bec1ca1e37fc30e56a5efbf9e970aadf1e5b754fc3c1a25","observation_id":"ed55b281-03d0-4073-b489-5205366234bf","resolution":{"observed_at":"2026-07-01T16:35:50.429677Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06-30T00:31:25.822846Z","title":"In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:27c8c24da61f07ec3b9d054d0c60d8439b0e8e22913cf3e57ecae1b4267cfdec","observation_id":"72efcdeb-3677-475f-b575-e484ac3336f3","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"In: Robotics: Science and Systems (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:46dc532f5e208da07b2eb329dbb5109311c0fd4c79cee38838603c84e15faaf6","observation_id":"c0687365-f37d-4ed9-af53-1cdb129279a8","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"ACM Transactions on Embedded Computing Systems24(5s), 1–23 (2025) 20 Paul, Kudalkar & Balakrishnan et.al","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:a3d1d31e346b8f139f0d374f9ad3024ec929c2a3eb6ed61d427b9ac08d747b5f","observation_id":"577e4802-f7b3-42ee-86e4-6c10d1cd040e","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:5b25124a9b7750d0a1aade9671d48411063c11630a792de5f74757c13098224f","observation_id":"1d28c099-ed55-4ced-a481-0202b7a3d3e9","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","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-06-30T00:31:25.822846Z","title":"at least 5 neighbors satisfyψ","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-30T00:31:25.822846Z"},"links":{"citing_paper":"/paper/2606.28429"},"observation_digest":"sha256:51fc51236034a3d1f92cd3f1854338e8c5b5c607bfa9a13a0fb41e4b40ae66d5","observation_id":"0a6b98af-582c-4e75-b2bb-4ea4da176dbe","resolution":{"observed_at":"2026-06-30T00:31:25.822846Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.28429","last_updated":"2026-06-25T22:16:05Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-07-07T00:02:33.644076Z","submitted_at":"2026-06-25T22:16:05Z","title":"An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":3,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":21,"verified_exact":9,"verified_fuzzy":0},"total_outbound_references":37},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"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."}