Paper Citation Record · LEDGER

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications

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.

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

pith.paper-citation-record.v1
2501.02094 v2

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T22:21:28.198017Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T18:56:27.508213Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-07T15:43:07.671611Z

Reference resolution

24 of 24 outbound references displayed

verified exact0
verified fuzzy18
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cfa9154d-f882-455c-a233-8be14dde2694 · outbound

This paper cites Infor- mation and Computation104(1), 35–77 (1993).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Infor- mation and Computation104(1), 35–77 (1993)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.627066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f4de07c2-82bf-40cb-bd4b-e3ad1bb0dc84 · outbound

This paper cites AI Magazine44(4), 453–459 (2023).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications AI Magazine44(4), 453–459 (2023)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.610879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 735158ab-04e8-4247-9877-b90fef989bb1 · outbound

This paper cites an unresolved cited work.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:21:28.592896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 7bef5cd8-0d91-4ffb-b8a6-fd416bf853a2 · outbound

This paper cites Lectures on Runtime Verification: Intro- ductory and Advanced Topics pp.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Lectures on Runtime Verification: Intro- ductory and Advanced Topics pp

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.576067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 580ce5de-6a70-4496-94cd-b476b75012c1 · outbound

This paper cites Black-Box Safety Validation of Autonomous Systems: A Multi-Fidelity Reinforcement Learning Approach.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Black-Box Safety Validation of Autonomous Systems: A Multi-Fidelity Reinforcement Learning Approach

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T22:21:28.107493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 238f7922-9d98-4c46-9cbc-8ddb2197dad9 · outbound

This paper cites Annual Review of Control, Robotics, and Autonomous Systems2(1), 115–140 (2019).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Annual Review of Control, Robotics, and Autonomous Systems2(1), 115–140 (2019)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.559574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4b6cab38-3dff-4ce5-96ab-bfaecbcba499 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications In: Proceedings of the AAAI Conference on Artificial Intelligence

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.541468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation cb1a9dfb-4a0a-427a-8112-0c4e8a970240 · outbound

This paper cites In: CoRL Workshop on Safe and Robust Robot Learning for Operation in the Real World.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications In: CoRL Workshop on Safe and Robust Robot Learning for Operation in the Real World

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.522402Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b9bf096b-a490-4e1f-82ef-3ad54ef93b1e · outbound

This paper cites In: International Workshop on Agent Communication.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications In: International Workshop on Agent Communication

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.504367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation eb849d88-feec-4af1-86b9-b2299d3323aa · outbound

This paper cites In: In- ternational Workshop on Formal Approaches to Software Testing.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications In: In- ternational Workshop on Formal Approaches to Software Testing

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.487153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation d04af8bb-24f1-44bc-a45a-8301d4f1f842 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelli- gence.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications In: Proceedings of the AAAI Conference on Artificial Intelli- gence

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.470288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 18a572e4-2bc0-4578-8780-d1b497e6dabe · outbound

This paper cites Autonomous Agents and Multi-Agent Systems10, 41–66 (2005).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Autonomous Agents and Multi-Agent Systems10, 41–66 (2005)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.453229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9e24c862-2189-4462-8b59-ffc84c0a0fce · outbound

This paper cites The International Journal of Robotics Research 39(7), 812–836 (2020).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications The International Journal of Robotics Research 39(7), 812–836 (2020)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.436810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 64671158-ac84-4719-af78-c977d775a6b0 · outbound

This paper cites Annual Review of Control, Robotics, and Autonomous Systems 1(1), 211–236 (2018).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Annual Review of Control, Robotics, and Autonomous Systems 1(1), 211–236 (2018)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T22:21:28.150917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31809af8-cb88-4bad-9d8a-6f8ac5aa7f3f · outbound

This paper cites ACM Transactions on Programming Languages and Systems (TOPLAS)16(3), 872–923 (1994).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications ACM Transactions on Programming Languages and Systems (TOPLAS)16(3), 872–923 (1994)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.409878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 64b4e808-cc8e-464c-bc63-b40c16ef7050 · outbound

This paper cites IEEE Robotics and Automation Letters 7(2), 2297–2304 (2022).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications IEEE Robotics and Automation Letters 7(2), 2297–2304 (2022)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.393803Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation c9d39cf3-144c-455e-a2fd-5f9e2eff326e · outbound

This paper cites In: Proceedings of the ACM/IEEE 14th Inter- national Conference on Cyber-Physical Systems (with CPS-IoT Week 2023).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications In: Proceedings of the ACM/IEEE 14th Inter- national Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.377455Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b77c8532-4379-4d4a-b0ad-8f65ce8220ac · outbound

This paper cites In:Proceedings ofthe19th internationalconference onhybrid systems: Computation and control.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications In:Proceedings ofthe19th internationalconference onhybrid systems: Computation and control

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.359208Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1b481f43-fc8b-4496-8b92-d7c0432875d3 · outbound

This paper cites in 2017 acm/ieee 8th international conference on cyber-physical systems (iccps) (2017).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications in 2017 acm/ieee 8th international conference on cyber-physical systems (iccps) (2017)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.342966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9027fc75-988d-4488-8d45-6f85a4c0649b · outbound

This paper cites an unresolved cited work.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:21:28.326455Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b67c5605-2cf7-4222-ba20-e3d5879b4abb · outbound

This paper cites Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach

Reference 21

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T22:21:28.261450Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1ea6331f-4efd-4a61-a7cd-85c673ae5e4c · outbound

This paper cites Artificial intelligence219, 40–66 (2015).

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Artificial intelligence219, 40–66 (2015)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.310012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation da1e1bc8-a935-42a8-8a90-058417a2f519 · outbound

This paper cites IEEE Transactions on Automation Science and Engineering15(1), 264–277 (2016) SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications 17.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications IEEE Transactions on Automation Science and Engineering15(1), 264–277 (2016) SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications 17

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:21:28.293987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 8f2f8647-ff28-433f-b778-ab3a0fcc83ce · outbound

This paper cites Control with Probabilistic Signal Temporal Logic.

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications Control with Probabilistic Signal Temporal Logic

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T22:21:28.198017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 9f06e776-c7d2-4a2f-9470-e54d36023c94 · inbound

Multi-Scale Conformal Prediction: A Theoretical Framework with Coverage Guarantees cites this paper.

Multi-Scale Conformal Prediction: A Theoretical Framework with Coverage Guarantees SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-08T18:56:27.508213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56e0ad82-5987-481e-82ac-daea9cbf5b87 · inbound

Impact of Frame Rates on Speech Tokenizer: A Case Study on Mandarin and English cites this paper.

Impact of Frame Rates on Speech Tokenizer: A Case Study on Mandarin and English SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-07T15:43:07.764249Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.