{"as_of":"2026-08-11T14:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ce60c50b0ae7077f893bd10712eb169b12d8c34471926f28967e4466b6aad107","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T22:21:28.198017Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T18:56:27.508213Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-07T15:43:07.671611Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.02094","snapshot_observed_at":"2026-08-08T18:56:27.508213Z","title":"SMTL: A stratified logic for expressive multi-level temporal specifications","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2502.05565","last_updated":"2025-02-08T13:27:10Z","snapshot_observed_at":"2026-08-10T10:45:16.577685Z","submitted_at":"2025-02-08T13:27:10Z","title":"Multi-Scale Conformal Prediction: A Theoretical Framework with Coverage Guarantees","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T18:56:27.508213Z"},"links":{"cited_paper":"/paper/2501.02094","citing_paper":"/paper/2502.05565"},"observation_digest":"sha256:b9e66d19d69ffc0a219aae689fc90d89b5d2f87cdcb7dc3309f2f2f1534d26c7","observation_id":"9f06e776-c7d2-4a2f-9470-e54d36023c94","resolution":{"observed_at":"2026-08-08T18:56:27.508213Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"cited_work":{"arxiv_id":"2501.02094","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.02094","snapshot_observed_at":"2026-08-07T15:43:07.671611Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","venue":"eess.SY","work_id":"786f6498-9e52-46c1-9da1-f8d77cb6c240","year":2025},"citing_paper":{"arxiv_id":"2505.17076","last_updated":"2025-06-13T17:21:25Z","snapshot_observed_at":"2026-08-10T17:27:15.744005Z","submitted_at":"2025-05-20T06:01:19Z","title":"Impact of Frame Rates on Speech Tokenizer: A Case Study on Mandarin and English","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:43:05.456608Z"},"links":{"cited_paper":"/paper/2501.02094","citing_paper":"/paper/2505.17076"},"observation_digest":"sha256:a887adf3c367254b32e09be44418b185da381035350def76b7aee1b31062bf54","observation_id":"56e0ad82-5987-481e-82ac-daea9cbf5b87","resolution":{"observed_at":"2026-08-07T15:43:07.764249Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2501.02094/citation-record","integrity":"/paper/2501.02094/integrity","json":"/paper/2501.02094/citation-record.json","paper":"/paper/2501.02094"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.621752Z","title":"Infor- mation and Computation104(1), 35–77 (1993)","venue":null,"work_id":"70a45c71-6e6a-483f-8ba9-743f9ab8290f","year":1993},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.086957Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:7c7963a8d16e69861cfa91f9b849214e514c65e77344d7beb0c6fdf4e9af66c7","observation_id":"cfa9154d-f882-455c-a233-8be14dde2694","resolution":{"observed_at":"2026-08-10T22:21:28.627066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.605085Z","title":"AI Magazine44(4), 453–459 (2023)","venue":null,"work_id":"7e88f5ae-4dd8-43a3-8a86-8aaebc7955f3","year":2023},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.092452Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:84f6c3fec3908d5e6fc31a8ef9abb9d58d36b12e4c6f07ef05329d512c2b0ae6","observation_id":"f4de07c2-82bf-40cb-bd4b-e3ad1bb0dc84","resolution":{"observed_at":"2026-08-10T22:21:28.610879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.588024Z","title":null,"venue":null,"work_id":"de6ad80d-13f7-4f99-bb07-deb0ad17213f","year":2023},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.097468Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:834db3eced58fcd823975b02774faa78c6fe9e569e3b9849b16b603691d1dab1","observation_id":"735158ab-04e8-4247-9877-b90fef989bb1","resolution":{"observed_at":"2026-08-10T22:21:28.592896Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.571110Z","title":"Lectures on Runtime Verification: Intro- ductory and Advanced Topics pp","venue":null,"work_id":"fe1c5662-2a64-4d29-8eab-993096b07780","year":2018},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.102574Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:13ef961c8f1dbcb9379d854f8f5f6515dee5d4bbdb09e7bbc5bbefd78a4356cc","observation_id":"7bef5cd8-0d91-4ffb-b8a6-fd416bf853a2","resolution":{"observed_at":"2026-08-10T22:21:28.576067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.03451","last_updated":"2023-03-02T03:14:44Z","snapshot_observed_at":"2026-08-04T21:07:31.039628Z","submitted_at":"2022-03-07T15:12:00Z","title":"Black-Box Safety Validation of Autonomous Systems: A Multi-Fidelity Reinforcement Learning Approach","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.03451","snapshot_observed_at":"2026-08-10T22:21:28.107493Z","title":"arXiv preprint arXiv:2203.03451 (2022) 16 A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.107493Z"},"links":{"cited_paper":"/paper/2203.03451","citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:3118f8df6ec901b81e3138b7da86744c59e85197e9f62d498d78811693b20185","observation_id":"580ce5de-6a70-4496-94cd-b476b75012c1","resolution":{"observed_at":"2026-08-10T22:21:28.107493Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.552776Z","title":"Annual Review of Control, Robotics, and Autonomous Systems2(1), 115–140 (2019)","venue":null,"work_id":"6e34ae79-9793-4d89-8f56-a06d58ff24bf","year":2019},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.113163Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:fcdcd331b9f3cfa43c40dd2b08ae9e56c9342240b178512f62e7a6dfd7e72fed","observation_id":"238f7922-9d98-4c46-9cbc-8ddb2197dad9","resolution":{"observed_at":"2026-08-10T22:21:28.559574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.534228Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence","venue":null,"work_id":"fb6ba223-e364-40ee-9849-1d81162b6248","year":2021},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.118401Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:9c05621f36742bab5be9e002e602f2a7edead5c5b240af3df26259d975d12e48","observation_id":"4b6cab38-3dff-4ce5-96ab-bfaecbcba499","resolution":{"observed_at":"2026-08-10T22:21:28.541468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.516856Z","title":"In: CoRL Workshop on Safe and Robust Robot Learning for Operation in the Real World","venue":null,"work_id":"ca55e607-9efa-49b9-9bee-2a0d121af5ae","year":null},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.123123Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:a9c8d2058f78c1e5fdc1758ba78f3aaa9a5e651a981209795b790a3332750d2a","observation_id":"cb1a9dfb-4a0a-427a-8112-0c4e8a970240","resolution":{"observed_at":"2026-08-10T22:21:28.522402Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.499096Z","title":"In: International Workshop on Agent Communication","venue":null,"work_id":"d4c56e25-6a64-42e3-81ef-c073c2e98239","year":2005},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.127696Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:3d67f1a3ec1b44ebbde3dba40b2e7a8a0b50d76522c7422bd4a1a74e148a3196","observation_id":"b9bf096b-a490-4e1f-82ef-3ad54ef93b1e","resolution":{"observed_at":"2026-08-10T22:21:28.504367Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.481790Z","title":"In: In- ternational Workshop on Formal Approaches to Software Testing","venue":null,"work_id":"b18da425-8564-428e-a18a-0a9d9ac946d8","year":2006},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.132266Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:c1c3b287cf6dc88eafd82211ffa8cc5ba19c02bb87a8581329403c274934286a","observation_id":"eb849d88-feec-4af1-86b9-b2299d3323aa","resolution":{"observed_at":"2026-08-10T22:21:28.487153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.465013Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelli- gence","venue":null,"work_id":"a55f451d-f05a-4e25-af55-536649d6463e","year":2021},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.136771Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:42477953ed8bf59319528115926a5940cf7101b815838c4aa7f64edcdabeb691","observation_id":"d04af8bb-24f1-44bc-a45a-8301d4f1f842","resolution":{"observed_at":"2026-08-10T22:21:28.470288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.447851Z","title":"Autonomous Agents and Multi-Agent Systems10, 41–66 (2005)","venue":null,"work_id":"507100a8-dbc7-4d70-9aa5-6c3b4147af06","year":2005},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.141261Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:58a736164da4bfb2b7727fb369dd88f1489ef44119d5097596a18b9920396cd2","observation_id":"18a572e4-2bc0-4578-8780-d1b497e6dabe","resolution":{"observed_at":"2026-08-10T22:21:28.453229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.431613Z","title":"The International Journal of Robotics Research 39(7), 812–836 (2020)","venue":null,"work_id":"ce50f8ca-ae38-4610-b64e-74e3ce78cd06","year":2020},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.146049Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:2487a691ff2ff9bc90956898041d6692308b9636fcc71684f67a7d13f94f1166","observation_id":"9e24c862-2189-4462-8b59-ffc84c0a0fce","resolution":{"observed_at":"2026-08-10T22:21:28.436810Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-08-10T22:21:28.150917Z","title":"Annual Review of Control, Robotics, and Autonomous Systems 1(1), 211–236 (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.150917Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:d14ee2a5ae0b898e7918ee269363d5e11499155c5ba1225d26ef17f8ee31fa24","observation_id":"64671158-ac84-4719-af78-c977d775a6b0","resolution":{"observed_at":"2026-08-10T22:21:28.150917Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.404637Z","title":"ACM Transactions on Programming Languages and Systems (TOPLAS)16(3), 872–923 (1994)","venue":null,"work_id":"d3aef426-a838-434e-9e7d-322a635e9837","year":1994},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.155207Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:6bdad8e9fed015cd989863a58e5b396c24bf29e819dfdf9ce15d4a3d82e6e237","observation_id":"31809af8-cb88-4bad-9d8a-6f8ac5aa7f3f","resolution":{"observed_at":"2026-08-10T22:21:28.409878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.388772Z","title":"IEEE Robotics and Automation Letters 7(2), 2297–2304 (2022)","venue":null,"work_id":"e1034c89-8b6f-4ab2-92d1-097cdbdaad4a","year":2022},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.159570Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:2a85c5ceaa91fb9950431d204ca9d9e6c1d2770b3ec2e201d0d7fe538876b15b","observation_id":"64b4e808-cc8e-464c-bc63-b40c16ef7050","resolution":{"observed_at":"2026-08-10T22:21:28.393803Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.371989Z","title":"In: Proceedings of the ACM/IEEE 14th Inter- national Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)","venue":null,"work_id":"be4185a9-d838-4cc3-ad07-48b0c182c207","year":2023},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.163988Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:6797d2793c731bd222ea4f277289baaf6aac327c9033ff986ae0d233711711c9","observation_id":"c9d39cf3-144c-455e-a2fd-5f9e2eff326e","resolution":{"observed_at":"2026-08-10T22:21:28.377455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.354165Z","title":"In:Proceedings ofthe19th internationalconference onhybrid systems: Computation and control","venue":null,"work_id":"a8b3a5cb-694a-45e2-9029-1f1b618bb475","year":2016},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.168830Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:5fa1d743a8f2d1de27f8f2f156fd877af41563ecf54af31d13753f1e4a3b64ee","observation_id":"b77c8532-4379-4d4a-b0ad-8f65ce8220ac","resolution":{"observed_at":"2026-08-10T22:21:28.359208Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.337473Z","title":"in 2017 acm/ieee 8th international conference on cyber-physical systems (iccps) (2017)","venue":null,"work_id":"f5be7007-cc25-4607-b539-6191781406fc","year":2017},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.173419Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:53faaccf4a62916d357b808fb31db289455b5fa2cb531e6d2d8bf3db025c4050","observation_id":"1b481f43-fc8b-4496-8b92-d7c0432875d3","resolution":{"observed_at":"2026-08-10T22:21:28.342966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.321341Z","title":null,"venue":null,"work_id":"c772d1e6-b7e6-43a8-9080-bd5494022d31","year":2023},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.177969Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:9c29c9394b485e1553cd1bafe9931c00ebe1d1f04472da12631108ce9cf1c8ac","observation_id":"9027fc75-988d-4488-8d45-6f85a4c0649b","resolution":{"observed_at":"2026-08-10T22:21:28.326455Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.08097","last_updated":"2024-09-12T14:51:03Z","snapshot_observed_at":"2026-08-07T10:03:07.517024Z","submitted_at":"2024-09-12T14:51:03Z","title":"Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach","version":1},"cited_work":{"arxiv_id":"2409.08097","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.08097","snapshot_observed_at":"2026-08-10T22:21:28.254234Z","title":"Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach","venue":"eess.SY","work_id":"65faa157-4d2a-488f-bf46-17c085575146","year":2024},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.182709Z"},"links":{"cited_paper":"/paper/2409.08097","citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:0f256a63ef98aed6805d9d7f20a18293dbe088b5a8904788ea05b7ff62085c9a","observation_id":"b67c5605-2cf7-4222-ba20-e3d5879b4abb","resolution":{"observed_at":"2026-08-10T22:21:28.261450Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.304827Z","title":"Artificial intelligence219, 40–66 (2015)","venue":null,"work_id":"35d33bcc-f9c4-40fb-811c-99b730d29881","year":2015},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.188125Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:7a2deae50033ace7fdc672ee9ed016018c6169e16040259019af25e4feb897d7","observation_id":"1ea6331f-4efd-4a61-a7cd-85c673ae5e4c","resolution":{"observed_at":"2026-08-10T22:21:28.310012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:21:28.288956Z","title":"IEEE Transactions on Automation Science and Engineering15(1), 264–277 (2016) SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications 17","venue":null,"work_id":"f2ce5a47-d1d8-4e8a-90c0-4461a76b2c48","year":2016},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.192990Z"},"links":{"citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:c8f2780f73d4ed2e662faf16c42866a9dc18eebc1de827ffc418b49974463017","observation_id":"da1e1bc8-a935-42a8-8a90-058417a2f519","resolution":{"observed_at":"2026-08-10T22:21:28.293987Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1510.08474","last_updated":"2015-10-28T20:25:00Z","snapshot_observed_at":"2026-07-06T04:34:36.474437Z","submitted_at":"2015-10-28T20:25:00Z","title":"Control with Probabilistic Signal Temporal Logic","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1510.08474","snapshot_observed_at":"2026-08-10T22:21:28.198017Z","title":"arXiv preprint arXiv:1510.08474 (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T22:21:28.198017Z"},"links":{"cited_paper":"/paper/1510.08474","citing_paper":"/paper/2501.02094"},"observation_digest":"sha256:2752e5e091662629ee0735c3a6a7021e920b12d6d7120d5214340fd824b61d9b","observation_id":"8f2f8647-ff28-433f-b778-ab3a0fcc83ce","resolution":{"observed_at":"2026-08-10T22:21:28.198017Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.02094","last_updated":"2025-01-09T19:50:57Z","latest_version":2,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-10T22:12:15.344860Z","submitted_at":"2025-01-03T20:43:57Z","title":"SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":5,"verified_exact":0,"verified_fuzzy":18},"total_outbound_references":24},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 2 inbound Pith citation observations for arXiv:2501.02094."}