Paper Citation Record · LEDGER

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems

As of 19 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2505.12107.

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

pith.paper-citation-record.v1
2505.12107 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T20:50:16.591341Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-08T04:01:31.928056Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T21:51:31.096198Z

Reference resolution

43 of 43 outbound references displayed

verified exact0
verified fuzzy28
unresolved15
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ddded791-aa73-4f2c-86a6-84cabbc9d87c · outbound

This paper cites Principles of model checking.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Principles of model checking

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.398956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c620e0f-707c-4913-8535-b80ecd791b1d · outbound

This paper cites Data-driven statistical learning of temporal logic properties.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Data-driven statistical learning of temporal logic properties

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.189399Z

Source-reported events for the cited work

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

Observation 006a3d7f-b902-4a3f-bf6b-d6b3cdefe672 · outbound

This paper cites Survey on mining signal temporal logic specifications.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Survey on mining signal temporal logic specifications

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.174474Z

Source-reported events for the cited work

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

Observation e3c87bb6-22be-4dd0-9342-28883887db22 · outbound

This paper cites 40 years of formal methods - some obstacles and some possibilities? In FM , volume 8442 of Lecture Notes in Computer Science , pages 42--61.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems 40 years of formal methods - some obstacles and some possibilities? In FM , volume 8442 of Lecture Notes in Computer Science , pages 42--61

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.412733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbe92c3f-f59c-4e76-88b8-6182d72fcce0 · outbound

This paper cites Explainable multi-agent reinforcement learning for temporal queries.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Explainable multi-agent reinforcement learning for temporal queries

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.150714Z

Source-reported events for the cited work

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

Observation 48b96bd6-6659-477f-97c4-e80587f49ea1 · outbound

This paper cites A decision tree approach to data classification using signal temporal logic.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems A decision tree approach to data classification using signal temporal logic

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.136291Z

Source-reported events for the cited work

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

Observation 796a1d14-4be1-488c-abad-50e933c0ce66 · outbound

This paper cites Learning branching-time properties in CTL and ATL via constraint solving.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Learning branching-time properties in CTL and ATL via constraint solving

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.121348Z

Source-reported events for the cited work

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

Observation 8e175cc6-f920-4e42-9205-1d4f2f199083 · outbound

This paper cites Zavlanos, and Miroslav Pajic.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Zavlanos, and Miroslav Pajic

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.106630Z

Source-reported events for the cited work

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

Observation faccf640-2ff4-47ac-852a-743bb80b824b · outbound

This paper cites OpenAI Gym.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems OpenAI Gym

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.441105Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48d21668-aef0-466f-862f-0061b8dc7f0c · outbound

This paper cites McIlraith.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems McIlraith

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.445627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 364c5710-385f-4af7-94f3-d0cb9153d91d · outbound

This paper cites Klassen, Richard Anthony Valenzano, and Sheila A.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Klassen, Richard Anthony Valenzano, and Sheila A

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.082524Z

Source-reported events for the cited work

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

Observation e8a3c952-2671-49ac-aba8-9ae1fe6767ff · outbound

This paper cites Learning temporal properties from event logs via sequential analysis.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Learning temporal properties from event logs via sequential analysis

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.067932Z

Source-reported events for the cited work

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

Observation 771edf46-ddad-4566-ad19-8bbe2775c55b · outbound

This paper cites Danesh, Anurag Koul, Alan Fern, and Saeed Khorram.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Danesh, Anurag Koul, Alan Fern, and Saeed Khorram

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.051529Z

Source-reported events for the cited work

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

Observation fe8d2b7a-7f8e-4100-b8ee-2c900dd8deed · outbound

This paper cites an unresolved cited work.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:50:17.036201Z

Source-reported events for the cited work

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

Observation 76124e97-7683-44b5-bcd4-d7885ba0b4e0 · outbound

This paper cites Spot’s temporal logic formulas, 2024.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Spot’s temporal logic formulas, 2024

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.021375Z

Source-reported events for the cited work

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

Observation 9152a623-c2b7-4a55-bd9a-336aa72e4b51 · outbound

This paper cites Dwyer, George S.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Dwyer, George S

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:17.005952Z

Source-reported events for the cited work

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

Observation a60532dd-83b7-4942-a498-bc82fb1be3ee · outbound

This paper cites A randomized protocol for signing contracts.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems A randomized protocol for signing contracts

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.991516Z

Source-reported events for the cited work

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

Observation 433516d4-d163-40f0-8289-769adade1257 · outbound

This paper cites Analytic Combinatorics.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Analytic Combinatorics

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.480804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6003995f-d6e1-45ad-86bd-f9bee1ced33a · outbound

This paper cites NL2LTL - a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems NL2LTL - a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.967071Z

Source-reported events for the cited work

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

Observation ccd71261-9ee9-4089-8107-25f3fe844ed8 · outbound

This paper cites Mark Gold.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Mark Gold

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.489344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a6ca280-c217-4b55-96bf-e15c4dcc8053 · outbound

This paper cites Pappas, and Insup Lee.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Pappas, and Insup Lee

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.943571Z

Source-reported events for the cited work

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

Observation c19fc5b9-b1ad-46dd-925a-8b44eacf763d · outbound

This paper cites Kemeny, J.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Kemeny, J

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.929141Z

Source-reported events for the cited work

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

Observation c007fe94-80f9-47e8-aab3-eebef9689436 · outbound

This paper cites Kwiatkowska, Gethin Norman, and David Parker.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Kwiatkowska, Gethin Norman, and David Parker

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.914521Z

Source-reported events for the cited work

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

Observation aa7eee67-78d6-4ac2-ac64-f94d2988f5e0 · outbound

This paper cites Reinforcement learning with temporal logic rewards.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Reinforcement learning with temporal logic rewards

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.898661Z

Source-reported events for the cited work

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

Observation 22d8c51a-8e89-422b-87b4-6beb5f456e8d · outbound

This paper cites Bridging ltlf inference to GNN inference for learning ltlf formulae.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Bridging ltlf inference to GNN inference for learning ltlf formulae

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.511716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4df4799b-28df-4c70-b82b-d051208cb967 · outbound

This paper cites Explainable reinforcement learning: A survey and comparative review.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Explainable reinforcement learning: A survey and comparative review

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.873010Z

Source-reported events for the cited work

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

Observation e3734175-1dc9-4cbf-b85a-bfbb2a7cd646 · outbound

This paper cites Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez - Chanlatte, and Alexandre Donz \' e.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez - Chanlatte, and Alexandre Donz \' e

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.858040Z

Source-reported events for the cited work

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

Observation 8114e611-f5d5-4851-b3da-28b57517855c · outbound

This paper cites Learning linear temporal properties.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Learning linear temporal properties

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.841582Z

Source-reported events for the cited work

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

Observation 10fa1cab-b512-4bd9-b837-f97ca19de623 · outbound

This paper cites What is formal verification without specifications? A survey on mining LTL specifications.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems What is formal verification without specifications? A survey on mining LTL specifications

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.825582Z

Source-reported events for the cited work

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

Observation ab783ff3-cff8-4a84-aa19-ee332037a0d7 · outbound

This paper cites A robust genetic algorithm for learning temporal specifications from data.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems A robust genetic algorithm for learning temporal specifications from data

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.811244Z

Source-reported events for the cited work

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

Observation e22927b1-b160-49d3-aba9-6140ef23f7b0 · outbound

This paper cites Norman and V.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Norman and V

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.796529Z

Source-reported events for the cited work

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

Observation 042a6e1d-cfa0-433f-8b25-0852a476510c · outbound

This paper cites The temporal logic of programs.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems The temporal logic of programs

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.781580Z

Source-reported events for the cited work

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

Observation 429a84c4-b013-474f-94a4-dc0ac4be075a · outbound

This paper cites Sat-based learning of computation tree logic.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Sat-based learning of computation tree logic

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.767017Z

Source-reported events for the cited work

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

Observation 64d90416-b23a-44e4-b930-0f4e96cf9c98 · outbound

This paper cites Scalable anytime algorithms for learning fragments of linear temporal logic.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Scalable anytime algorithms for learning fragments of linear temporal logic

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.550545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 865bfb40-4d29-4c8e-a611-e4df2ab4525a · outbound

This paper cites Learning interpretable models in the property specification language.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Learning interpretable models in the property specification language

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.554936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc705b9a-4bcd-40ab-b145-80957d24b1e5 · outbound

This paper cites Learning Interpretable Temporal Properties from Positive Examples Only.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Learning Interpretable Temporal Properties from Positive Examples Only

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.559379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 384138f5-6909-4780-8206-32d83267f729 · outbound

This paper cites Specification: The biggest bottleneck in formal methods and autonomy.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Specification: The biggest bottleneck in formal methods and autonomy

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.563994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5de8d508-3216-4080-a030-bd8135432fce · outbound

This paper cites Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.722553Z

Source-reported events for the cited work

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

Observation 0eb0989d-0edf-4d06-8751-e813ab76dc73 · outbound

This paper cites Generation of policy-level explanations for reinforcement learning.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Generation of policy-level explanations for reinforcement learning

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.708186Z

Source-reported events for the cited work

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

Observation cb621d53-85bb-4d8a-8de3-89c06471b8d2 · outbound

This paper cites Ltl learning on gpus.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Ltl learning on gpus

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:50:16.692759Z

Source-reported events for the cited work

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

Observation 66aaaa61-b9cf-4c26-a26d-0d6fd75efbc2 · outbound

This paper cites an unresolved cited work.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:50:16.678403Z

Source-reported events for the cited work

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

Observation d309d2d6-b745-4964-a434-b7554a777e65 · outbound

This paper cites End-to-end learning of ltlf formulae by faithful ltlf encoding.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems End-to-end learning of ltlf formulae by faithful ltlf encoding

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.586804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6e5d6b0-3ef6-4a98-81ce-31a53c5f16dd · outbound

This paper cites write newline.

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems write newline

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:16.591341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 0c54ce1b-47bf-4469-9c71-459c3f21935e · inbound

SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning cites this paper.

SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning Learning Probabilistic Temporal Logic Specifications for Stochastic Systems

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-11T21:51:31.222364Z

Source-reported events for the cited work

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