{"as_of":"2026-08-19T09:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fa62f3c2fd5c8e09b6c9012342a3bd611c98bd6a831f8339bc266610dbab3dd3","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T20:50:16.591341Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-08T04:01:31.928056Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-11T21:51:31.096198Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"cited_work":{"arxiv_id":"2505.12107","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.12107","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Learning probabilistic temporal logic specifications for stochastic systems.arXiv preprint arXiv:2505.12107","venue":null,"work_id":"66c0dc22-5c16-4c95-9555-d6ff53be1e1e","year":null},"citing_paper":{"arxiv_id":"2604.24729","last_updated":"2026-04-27T17:40:18Z","snapshot_observed_at":"2026-08-12T13:11:55.493073Z","submitted_at":"2026-04-27T17:40:18Z","title":"SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-08T04:01:31.928056Z"},"links":{"cited_paper":"/paper/2505.12107","citing_paper":"/paper/2604.24729"},"observation_digest":"sha256:7293d71aa3be55b2ef07cde6bc229626242b89e67f632202334b213af2db4b86","observation_id":"0c54ce1b-47bf-4469-9c71-459c3f21935e","resolution":{"observed_at":"2026-05-11T21:51:31.222364Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.12107/citation-record","integrity":"/paper/2505.12107/integrity","json":"/paper/2505.12107/citation-record.json","paper":"/paper/2505.12107"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T20:50:16.398956Z","title":"Principles of model checking","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.398956Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:e724f538fa545a31f74013d514e50a75e7af40c5b7dbe4d1285d15e465c17194","observation_id":"ddded791-aa73-4f2c-86a6-84cabbc9d87c","resolution":{"observed_at":"2026-08-15T20:50:16.398956Z","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-15T20:50:17.184767Z","title":"Data-driven statistical learning of temporal logic properties","venue":null,"work_id":"344fc591-efb2-488c-a062-f8ff4f39fe31","year":2014},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.403745Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:95565d40afc15fbee3f82fcca54e6cee0ce4459b88c14030c2708f8dd4c4a691","observation_id":"0c620e0f-707c-4913-8535-b80ecd791b1d","resolution":{"observed_at":"2026-08-15T20:50:17.189399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:17.170001Z","title":"Survey on mining signal temporal logic specifications","venue":null,"work_id":"fd34e633-4055-431f-a201-0d9bbb766f08","year":2022},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.408430Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:d8c4a778d360a8b0b6d156fc0bf20680b9d7da123b9e03985a785047b63af97d","observation_id":"006a3d7f-b902-4a3f-bf6b-d6b3cdefe672","resolution":{"observed_at":"2026-08-15T20:50:17.174474Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.412733Z","title":"40 years of formal methods - some obstacles and some possibilities? In FM , volume 8442 of Lecture Notes in Computer Science , pages 42--61","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.412733Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:5c9fcc6e660a6a4a8306ddaac2b8fda799292b60f2d2581778d7849d914584d5","observation_id":"e3c87bb6-22be-4dd0-9342-28883887db22","resolution":{"observed_at":"2026-08-15T20:50:16.412733Z","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-15T20:50:17.146256Z","title":"Explainable multi-agent reinforcement learning for temporal queries","venue":null,"work_id":"4ea9a9f6-32f2-4573-8690-ea62ff307035","year":2023},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.417478Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:5641285356f8c7ad1517dca73e04de0bce4e3dcc19c19f051bcadefb87a0fb7b","observation_id":"bbe92c3f-f59c-4e76-88b8-6182d72fcce0","resolution":{"observed_at":"2026-08-15T20:50:17.150714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:17.131163Z","title":"A decision tree approach to data classification using signal temporal logic","venue":null,"work_id":"c41bcce7-ac67-4cd4-b6c3-bfb392173a5e","year":2016},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.421950Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:702f7befba786bd3bb0c254d884782a94d3444b23f4ff62b8a261150fce77a73","observation_id":"48b96bd6-6659-477f-97c4-e80587f49ea1","resolution":{"observed_at":"2026-08-15T20:50:17.136291Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:17.116613Z","title":"Learning branching-time properties in CTL and ATL via constraint solving","venue":null,"work_id":"3f20962a-3888-4dd1-b116-e4251cb3c3a0","year":2024},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.427001Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:0960385de7db20f3afa947a492fef6b846f2c6e9c2f5f3df6621809335b56f7d","observation_id":"796a1d14-4be1-488c-abad-50e933c0ce66","resolution":{"observed_at":"2026-08-15T20:50:17.121348Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:17.102042Z","title":"Zavlanos, and Miroslav Pajic","venue":null,"work_id":"95aae603-4ad2-47ba-9d6b-8c3ca3c0e2ed","year":2020},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.431232Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:e308c3a15bc076ede1d6fe970c5dd310b7788a4a4fe592251988b6fd807885c7","observation_id":"8e175cc6-f920-4e42-9205-1d4f2f199083","resolution":{"observed_at":"2026-08-15T20:50:17.106630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1606.01540","last_updated":"2016-06-05T17:54:48Z","snapshot_observed_at":"2026-08-13T12:26:05.192883Z","submitted_at":"2016-06-05T17:54:48Z","title":"OpenAI Gym","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.01540","snapshot_observed_at":"2026-08-15T20:50:16.441105Z","title":"Openai gym","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.441105Z"},"links":{"cited_paper":"/paper/1606.01540","citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:584324f95c14c2b142e54cb3a27096668bf976226f6d3451c29f82293affd452","observation_id":"faccf640-2ff4-47ac-852a-743bb80b824b","resolution":{"observed_at":"2026-08-15T20:50:16.441105Z","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-08-15T20:50:16.445627Z","title":"McIlraith","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.445627Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:d7e09262b3c9c733881aab30953f3321af03991cb3ebae980f3c78ad2bbe1f31","observation_id":"48d21668-aef0-466f-862f-0061b8dc7f0c","resolution":{"observed_at":"2026-08-15T20:50:16.445627Z","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-15T20:50:17.078052Z","title":"Klassen, Richard Anthony Valenzano, and Sheila A","venue":null,"work_id":"34eb4187-1b32-4661-a7b4-1d138ae47679","year":2019},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.450492Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:d065e5fa4c62bca5922ced227a95e7614c908266a972acc4aac65b51e6d12e64","observation_id":"364c5710-385f-4af7-94f3-d0cb9153d91d","resolution":{"observed_at":"2026-08-15T20:50:17.082524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:17.062308Z","title":"Learning temporal properties from event logs via sequential analysis","venue":null,"work_id":"bbb459d2-6b46-42f1-85be-e141b4a12a5b","year":2024},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.455097Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:b1c3e67be5e2c349d5dae8e97e20c5fd5463fa413d9a7f262f47e38821d37cc9","observation_id":"e8a3c952-2671-49ac-aba8-9ae1fe6767ff","resolution":{"observed_at":"2026-08-15T20:50:17.067932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:17.046722Z","title":"Danesh, Anurag Koul, Alan Fern, and Saeed Khorram","venue":null,"work_id":"8239b8c2-c253-4677-a123-93434c02f42e","year":2021},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.459533Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:ee635fd73091ff5f41511eb65483ebc590f15f453df6b63b2b42d7613e3ad031","observation_id":"771edf46-ddad-4566-ad19-8bbe2775c55b","resolution":{"observed_at":"2026-08-15T20:50:17.051529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:17.031519Z","title":null,"venue":null,"work_id":"da8310bc-0bfa-47e1-a13e-cdb50aa2c954","year":2022},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.463763Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:2414723b40ab3e7eeccee65dd85385b0451149db840664a9165506dee255a189","observation_id":"fe8d2b7a-7f8e-4100-b8ee-2c900dd8deed","resolution":{"observed_at":"2026-08-15T20:50:17.036201Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:17.016371Z","title":"Spot’s temporal logic formulas, 2024","venue":null,"work_id":"4a88ee5c-dcf6-458b-99af-1be5bdc6ce81","year":2024},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.467973Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:748c91769fe3cf4b453e4fc0bba82672a3d59825e6d453b54bfb228349713eb6","observation_id":"76124e97-7683-44b5-bcd4-d7885ba0b4e0","resolution":{"observed_at":"2026-08-15T20:50:17.021375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:17.001456Z","title":"Dwyer, George S","venue":null,"work_id":"a95a01e4-feb3-4b47-9e8d-1e4fab6934a2","year":1998},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.472165Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:40bff91b7f39c11511cf61240823782bf9b2910831e640461cd8a05b20ccde5e","observation_id":"9152a623-c2b7-4a55-bd9a-336aa72e4b51","resolution":{"observed_at":"2026-08-15T20:50:17.005952Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.986738Z","title":"A randomized protocol for signing contracts","venue":null,"work_id":"3d8c5f93-9c35-4a77-81c0-dc183740ca80","year":1985},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.476555Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:0573b67ffb83a10a5618243e973ca4a73cf1a7e780858f8ecf0c2c451f91e837","observation_id":"a60532dd-83b7-4942-a498-bc82fb1be3ee","resolution":{"observed_at":"2026-08-15T20:50:16.991516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.480804Z","title":"Analytic Combinatorics","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.480804Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:21c3fe133acb545439bcc6ab5dd6dddd2280285a1e1e3c5986bfaa75ed398b8c","observation_id":"433516d4-d163-40f0-8289-769adade1257","resolution":{"observed_at":"2026-08-15T20:50:16.480804Z","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-15T20:50:16.962549Z","title":"NL2LTL - a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas","venue":null,"work_id":"e471f33a-d63b-4f46-9e92-c5cbb38e8835","year":2023},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.485206Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:3e119d395bdffc6589caacdb0f7bd3d93aa310fc76f8e15cdd7bec0715adbd44","observation_id":"6003995f-d6e1-45ad-86bd-f9bee1ced33a","resolution":{"observed_at":"2026-08-15T20:50:16.967071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.489344Z","title":"Mark Gold","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.489344Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:76f4e73e2c35e3cfb2bc1da74649cf5952d39f5629c98a28c44985a21666e0b4","observation_id":"ccd71261-9ee9-4089-8107-25f3fe844ed8","resolution":{"observed_at":"2026-08-15T20:50:16.489344Z","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-15T20:50:16.939236Z","title":"Pappas, and Insup Lee","venue":null,"work_id":"801e837c-9e09-4911-ada4-0375ff8813c1","year":2019},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.493539Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:9d72a3fc50cff23f839966d46ca610eba2ac82955be47da4b4ec5336c4bb748d","observation_id":"0a6ca280-c217-4b55-96bf-e15c4dcc8053","resolution":{"observed_at":"2026-08-15T20:50:16.943571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.924340Z","title":"Kemeny, J","venue":null,"work_id":"c6e82a4f-c8f7-41cb-9b0d-99dc9072f455","year":1976},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.498090Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:286aad4f2a28274754dd9a3667692e7a280daef61501d935ae388c899e338517","observation_id":"c19fc5b9-b1ad-46dd-925a-8b44eacf763d","resolution":{"observed_at":"2026-08-15T20:50:16.929141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.909485Z","title":"Kwiatkowska, Gethin Norman, and David Parker","venue":null,"work_id":"dd171e78-d515-4d25-83ea-4a4541195df9","year":2011},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.502704Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:0006a76072af0274ef2207943a337d2d8ca01dfd04acf8414c4ffd449900b2d8","observation_id":"c007fe94-80f9-47e8-aab3-eebef9689436","resolution":{"observed_at":"2026-08-15T20:50:16.914521Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.893572Z","title":"Reinforcement learning with temporal logic rewards","venue":null,"work_id":"69292d0c-28da-4ed6-961f-c92ced5d0eac","year":2017},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.507255Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:464ba596d642f70563a9041bfb7aa7925bf28ca3fad0c2f55d11c7b59ba41ae7","observation_id":"aa7eee67-78d6-4ac2-ac64-f94d2988f5e0","resolution":{"observed_at":"2026-08-15T20:50:16.898661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.511716Z","title":"Bridging ltlf inference to GNN inference for learning ltlf formulae","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.511716Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:3a5549f3c598d4cf7883d26c3a9a8bc1fca965c51b471ea949425d873f035c8c","observation_id":"22d8c51a-8e89-422b-87b4-6beb5f456e8d","resolution":{"observed_at":"2026-08-15T20:50:16.511716Z","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-15T20:50:16.868291Z","title":"Explainable reinforcement learning: A survey and comparative review","venue":null,"work_id":"febc643a-37b7-484a-aa01-b71ca4f91eae","year":2024},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.515955Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:32b77d6b95fce4a1436253ed93404d36273a6c5ec4dc756b19a1fc8ac54f8318","observation_id":"4df4799b-28df-4c70-b82b-d051208cb967","resolution":{"observed_at":"2026-08-15T20:50:16.873010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.853427Z","title":"Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez - Chanlatte, and Alexandre Donz \\' e","venue":null,"work_id":"d0c04354-33a1-49a9-8eaa-70fec43f7354","year":2020},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.520509Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:ea1400cc3cdeab42bac071b6bbfb4a48eeec6c8261ffd4e441c4855c27d6f30f","observation_id":"e3734175-1dc9-4cbf-b85a-bfbb2a7cd646","resolution":{"observed_at":"2026-08-15T20:50:16.858040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.836494Z","title":"Learning linear temporal properties","venue":null,"work_id":"0244cf1b-5589-48ef-ba94-f4df86c77b9d","year":2018},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.524839Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:ae4aadb096810bdb2bd19abfa13482e62ec99af9809631e86d9a30bde344b8d5","observation_id":"8114e611-f5d5-4851-b3da-28b57517855c","resolution":{"observed_at":"2026-08-15T20:50:16.841582Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.820939Z","title":"What is formal verification without specifications? A survey on mining LTL specifications","venue":null,"work_id":"cdca3081-0301-4761-9166-62f306a58a85","year":2025},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.529221Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:2296ac8c2ff1885308fbe31d763cfffbbb653ff9f54e5e24caaa2b36160c5e74","observation_id":"10fa1cab-b512-4bd9-b837-f97ca19de623","resolution":{"observed_at":"2026-08-15T20:50:16.825582Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.806362Z","title":"A robust genetic algorithm for learning temporal specifications from data","venue":null,"work_id":"83763c28-ebbe-4578-85eb-a166c247b702","year":2018},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.533629Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:c675fd12121c6b22a262967b3edadc6aff930f818d9514d98e59c66b00c06a08","observation_id":"ab783ff3-cff8-4a84-aa19-ee332037a0d7","resolution":{"observed_at":"2026-08-15T20:50:16.811244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.791802Z","title":"Norman and V","venue":null,"work_id":"cf3b3371-dcb8-48c2-b6fd-2c946084f358","year":2006},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.537878Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:c1adb458ca82e5a531d9940f53e67bab20b2754d8bcf47a8134d91bcdaad3118","observation_id":"e22927b1-b160-49d3-aba9-6140ef23f7b0","resolution":{"observed_at":"2026-08-15T20:50:16.796529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.777023Z","title":"The temporal logic of programs","venue":null,"work_id":"85a37ee9-a014-4387-b6fe-e3a7909f7bfc","year":1977},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.542116Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:e29074beae69e4aa3d8793b5dc946dd237c79eed657c7113103097951c93181f","observation_id":"042a6e1d-cfa0-433f-8b25-0852a476510c","resolution":{"observed_at":"2026-08-15T20:50:16.781580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.762082Z","title":"Sat-based learning of computation tree logic","venue":null,"work_id":"530ecdf9-9275-45da-b80b-208cf6d37d9e","year":2024},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.546204Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:c13e4b43dab0dfdf26a2dceb84f7e1ace9203f22772478ab133850719b8353cd","observation_id":"429a84c4-b013-474f-94a4-dc0ac4be075a","resolution":{"observed_at":"2026-08-15T20:50:16.767017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.550545Z","title":"Scalable anytime algorithms for learning fragments of linear temporal logic","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.550545Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:c78b28f01736617e6992197e9c3d82b6966310569ce4579650bae1b953f0527c","observation_id":"64d90416-b23a-44e4-b930-0f4e96cf9c98","resolution":{"observed_at":"2026-08-15T20:50:16.550545Z","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-08-15T20:50:16.554936Z","title":"Learning interpretable models in the property specification language","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.554936Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:78afbc58c50a867a97bdcafd9a00b9342c93437c93f2eecb444766c746264c63","observation_id":"865bfb40-4d29-4c8e-a611-e4df2ab4525a","resolution":{"observed_at":"2026-08-15T20:50:16.554936Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.02650","last_updated":"2023-03-02T18:02:20Z","snapshot_observed_at":"2026-08-16T16:34:23.788527Z","submitted_at":"2022-09-06T17:04:09Z","title":"Learning Interpretable Temporal Properties from Positive Examples Only","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.02650","snapshot_observed_at":"2026-08-15T20:50:16.559379Z","title":"Learning interpretable temporal properties from positive examples only","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.559379Z"},"links":{"cited_paper":"/paper/2209.02650","citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:76cfb98906014c287388ae2a7a13fae0947659266f4c9b12a3186a10c98510e4","observation_id":"bc705b9a-4bcd-40ab-b145-80957d24b1e5","resolution":{"observed_at":"2026-08-15T20:50:16.559379Z","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-08-15T20:50:16.563994Z","title":"Specification: The biggest bottleneck in formal methods and autonomy","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.563994Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:bfc76cb45de2cae5ee327e28d44274ddc46fbc91ba5f084eaf56b990ee98a7b2","observation_id":"384138f5-6909-4780-8206-32d83267f729","resolution":{"observed_at":"2026-08-15T20:50:16.563994Z","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-15T20:50:16.717825Z","title":"Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees","venue":null,"work_id":"0fab0eee-5a70-4767-a4f9-6c543c32079a","year":2023},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.568332Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:df213d82aaf96afa11f555c1a46a9037ab8fa05e5044f13773a320068d5b88a1","observation_id":"5de8d508-3216-4080-a030-bd8135432fce","resolution":{"observed_at":"2026-08-15T20:50:16.722553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.702710Z","title":"Generation of policy-level explanations for reinforcement learning","venue":null,"work_id":"4ddbc93f-c9d9-4405-8699-874df069ed47","year":2019},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.573033Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:340959d5912effcbbf5f865045541bf7294054743b3b4065ca334cfa88b396b2","observation_id":"0eb0989d-0edf-4d06-8751-e813ab76dc73","resolution":{"observed_at":"2026-08-15T20:50:16.708186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.688292Z","title":"Ltl learning on gpus","venue":null,"work_id":"ed0211af-0c5c-453b-9e81-e1eb92756a6a","year":2024},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.577848Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:4d5dccf158fabe8ed99ca903304a189a143560568d8c6e3bfccd1d2d9ebf4849","observation_id":"cb621d53-85bb-4d8a-8de3-89c06471b8d2","resolution":{"observed_at":"2026-08-15T20:50:16.692759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.672769Z","title":null,"venue":null,"work_id":"f82da89b-0fc4-48ef-b392-f44c5a2065bc","year":1985},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.582618Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:526e5e11f75ce857ce154d8f4e6ff45ef0751f4eddb9f5afbcd5e4cd29f3e86b","observation_id":"66aaaa61-b9cf-4c26-a26d-0d6fd75efbc2","resolution":{"observed_at":"2026-08-15T20:50:16.678403Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-15T20:50:16.586804Z","title":"End-to-end learning of ltlf formulae by faithful ltlf encoding","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.586804Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:990d85c219c1c5bbd0bce31f0437973e24093633a8a66c16fcf4ab8700a35553","observation_id":"d309d2d6-b745-4964-a434-b7554a777e65","resolution":{"observed_at":"2026-08-15T20:50:16.586804Z","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-08-15T20:50:16.591341Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-15T20:50:16.591341Z"},"links":{"citing_paper":"/paper/2505.12107"},"observation_digest":"sha256:b43d3f32563e0d53b9810ad3eb1815e04ddef62f7f5507041f8404e39a3ef02c","observation_id":"b6e5d6b0-3ef6-4a98-81ce-31a53c5f16dd","resolution":{"observed_at":"2026-08-15T20:50:16.591341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.12107","last_updated":"2025-05-17T18:19:35Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-15T20:38:44.634880Z","submitted_at":"2025-05-17T18:19:35Z","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":0,"verified_fuzzy":28},"total_outbound_references":43},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"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."}