{"as_of":"2026-08-20T19:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:00817af8debb119bf3a0978b769231c58d443e6eb43462ec5d62d1f8cb14c8be","coverage":[{"denominator":72,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":72,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T22:03:22.539820Z","state":"measured"},{"denominator":72,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":72,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2511.12974/citation-record","integrity":"/paper/2511.12974/integrity","json":"/paper/2511.12974/citation-record.json","paper":"/paper/2511.12974"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/363235","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T22:03:25.800697Z","title":null,"venue":null,"work_id":"d3cae715-4bd8-4826-8f63-3a68d8915c55","year":1969},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:15.402275Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:66715b73b0fcf8f73a3f6c90776e40769789ec1f818614b0bd71417f202cfc29","observation_id":"93589b95-f6d9-4cde-8393-e7d8173099bf","resolution":{"observed_at":"2026-08-03T22:03:25.947995Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T22:03:15.456679Z","title":"Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering SE-3 (2) (1977) 125–143.doi: 10.1109/TSE.1977.229904","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:15.456679Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:6890a25ea0cd690a3d29be036a41d9d82ed3972f6eae6e212032d17f8f1263b3","observation_id":"82ecb802-5b40-4182-b60e-f6d1ac115146","resolution":{"observed_at":"2026-08-03T22:03:15.456679Z","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-03T22:03:15.497401Z","title":"Newcombe, T","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:15.497401Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:9434e502f300548d0c47a016deb4a16dce2184ec36acfa6ebe4ad70428398e21","observation_id":"fc738e48-5f18-40d1-beb3-0ddab7990e0a","resolution":{"observed_at":"2026-08-03T22:03:15.497401Z","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-03T22:03:15.566151Z","title":"Woodcock, P","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:15.566151Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:a0e78101b992cb16e20ef3cdd3d24e0de993356714db2b1392b2c20a18065ce4","observation_id":"04d8ab3e-53d3-4c3f-8b2e-962081058b73","resolution":{"observed_at":"2026-08-03T22:03:15.566151Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1146/annurev-control-042920-022320","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T22:03:25.480871Z","title":null,"venue":null,"work_id":"0b26fdbb-aa65-4313-8533-4c5ec7ff953a","year":2022},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:15.660559Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:31518e2a0ee763802ae4fd3edcdcee49d7e8fc3e76164cb519873b91365a0eb1","observation_id":"d4a41396-c773-4d27-a22c-2c2197b19da5","resolution":{"observed_at":"2026-08-03T22:03:25.628395Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T22:03:15.767065Z","title":"Sipser, Introduction to the Theory of Computation, 3rd Edition, Cengage Learning, 2013","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:15.767065Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:500c5a675766aa282453ecf84cdde3205d30bdedda85afc52b4cd232f3781c9c","observation_id":"2b70d7ed-b187-4f7c-80c4-b9908ac4e49f","resolution":{"observed_at":"2026-08-03T22:03:15.767065Z","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-03T22:03:15.935245Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:15.935245Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:ba81dbcbcf0054b1fe4ddc1b0d0c55a065d5605593fd90ee4632cb0fee376f36","observation_id":"3dd25172-6944-4f90-b612-ab8113f0b019","resolution":{"observed_at":"2026-08-03T22:03:15.935245Z","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-03T22:03:16.022994Z","title":"Peterson, Petri Nets Theory and the Modeling of Systems, Prentice- Hall Inc., Englewood Cliffs, 1981","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.022994Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:f9b8a089e7cc6c6fa7226955aa4e60ae60708d0b8fc2533a50d84664e105d933","observation_id":"0c23e718-3d29-434f-9908-73842c45fd03","resolution":{"observed_at":"2026-08-03T22:03:16.022994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/cbo9780511564324","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T22:03:25.162943Z","title":"Hillston, A Compositional Approach to Performance Modelling, Cam- bridge University Press, 1996.doi:10.1017/CBO9780511564324","venue":null,"work_id":"2f16a276-927c-4f5d-b902-8711230ff04e","year":1996},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.130213Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:625415cfdd1082711906b110738a19d45ee34bb161ba5b8a9df4dd546309605e","observation_id":"d0034a7c-6864-45d7-b777-3feb8d9cb25a","resolution":{"observed_at":"2026-08-03T22:03:25.395321Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45804-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Hermanns, Interactive Markov Chains, Vol","venue":"Lecture notes in computer science","work_id":"4c46d180-dfd0-4d55-b551-9923436465cc","year":2002},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.175327Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:55d89fe72428e2b99fe311dff14575f91ad762cc32cbd4a20a7b8a2430cf7a71","observation_id":"bd2f0be8-4a3f-4c63-867a-bc7385f9fcdc","resolution":{"observed_at":"2026-08-03T22:03:24.975461Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T22:03:16.284657Z","title":"Movaghar, J","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.284657Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:04162acdbb2bfe0104a5db2edf02f66da74c3a62c88cbbf5d7107abcbbef015b","observation_id":"fce3d600-f90d-48c9-9f7d-fc5af0081fee","resolution":{"observed_at":"2026-08-03T22:03:16.284657Z","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-03T22:03:16.365444Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.365444Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:49aa46f3b3e030c76de39160abf883cd67200fef1868715aae98343bf0a42efb","observation_id":"ec4f4796-1d2a-45ef-9fde-a21299b0c62d","resolution":{"observed_at":"2026-08-03T22:03:16.365444Z","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-03T22:03:16.483686Z","title":"Movaghar, Stochastic Activity Networks: A New Definition and Some Properties, Scientia Iranica 8 (4) (2001)","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.483686Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:757eb38f69e540b6e6b4e73d42d2bdad8865ee36d19bba189bba97cb6bcbb6dc","observation_id":"ca125270-3f18-4efc-8e89-06d0bac460f4","resolution":{"observed_at":"2026-08-03T22:03:16.483686Z","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-03T22:03:16.663600Z","title":"Milner, Communication and Concurrency, Prentice-Hall International, UK, 1989","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.663600Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:1ef694c7cb1eacf1a238b5e560050685f41e47fde7694e154279169df9caaa91","observation_id":"0369984c-5c2b-47b4-9c01-c8166b64e4fa","resolution":{"observed_at":"2026-08-03T22:03:16.663600Z","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-03T22:03:16.724329Z","title":"Baier, J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.724329Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:f7422b4b12527fa7076071c6b163fd4786d88b5b806bb1a4228a5e050a8d4a48","observation_id":"8f515ca6-56ff-43a7-b007-c58ee54a445f","resolution":{"observed_at":"2026-08-03T22:03:16.724329Z","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-03T22:03:16.779405Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.779405Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:f9b675d577266b6e711363b88354542720d64fd7f3c95c305b7e16f292bf89e8","observation_id":"b3a82cd9-31ec-41fa-92bb-067be5c1d621","resolution":{"observed_at":"2026-08-03T22:03:16.779405Z","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-03T22:03:16.865615Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.865615Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:242f21946ed4f7535373aeccb530fe6f53a82eebb15ae5ff7bcb9768ac9d7ad4","observation_id":"3e15af4e-aaaf-42e5-856d-db67b01026d9","resolution":{"observed_at":"2026-08-03T22:03:16.865615Z","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-03T22:03:16.946579Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:16.946579Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:c0aba1e9bc9d37ec61cdcb1cae323735dce3a3cbfba1e126ec378a54418ccc89","observation_id":"27ceb723-479f-4ccc-90c5-e8247c89e236","resolution":{"observed_at":"2026-08-03T22:03:16.946579Z","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-03T22:03:17.009192Z","title":"Matthes, Zur Theorie der Bedienungsprozesse, in: Trans","venue":null,"work_id":null,"year":1962},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.009192Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:b58da0f5f0a7031f4fa9054f0ca322f76881da20b4d0b0e6c32cf3e0d497a6f6","observation_id":"de5c6ca3-2c57-4ad0-8cc4-1fba9edcb1c2","resolution":{"observed_at":"2026-08-03T22:03:17.009192Z","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-03T22:03:17.056871Z","title":"Schassberger, Insensitivity of Steady-State Distributions of General- ized Semi-Markov Processes with Speeds, Adv","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.056871Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:4d9d2b8d855d97948d7700931bd88545558f7139429aa2409d02624610fb3291","observation_id":"242c11be-98de-4253-a15b-6c0e48ec6201","resolution":{"observed_at":"2026-08-03T22:03:17.056871Z","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-03T22:03:17.101326Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.101326Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:e8e51cab6c0e6dece2c77abd7cb988e02451058fc8c9391f5c88245630733a80","observation_id":"a71e1c63-29a5-4a96-b3ee-8b96afdaacfd","resolution":{"observed_at":"2026-08-03T22:03:17.101326Z","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-03T22:03:17.144618Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.144618Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:45c0edcde39eeeedcfd18c340e9ee80f00b8a022198b2b5f4c978827f78bbf88","observation_id":"492d3600-ba21-4bcb-a182-1cd0118c0fd2","resolution":{"observed_at":"2026-08-03T22:03:17.144618Z","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-03T22:03:17.254044Z","title":"Pnueli, R","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.254044Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:32e9ce893fe4ba331b2d8a83ac0e50ff5f7a66457296a7a94540ded6cc649372","observation_id":"76209b46-13d2-42ef-b6d3-39dc6c8c2eae","resolution":{"observed_at":"2026-08-03T22:03:17.254044Z","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-03T22:03:17.370574Z","title":"Segala, Modeling and Verification of Randomized Distributed Real- Time Systems, Ph.D","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.370574Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:ec392f862ed883109be328ac84d5835cdc405b4aac94e9a9d173e07f8d897d19","observation_id":"6b9c0fdf-e616-458f-b925-738fe106b36d","resolution":{"observed_at":"2026-08-03T22:03:17.370574Z","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-03T22:03:17.549020Z","title":"Thomas, Automata on Infinite Objects, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (1990) 133–191","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.549020Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:d9f255e02b40bb9c1589d5ab42a84fa240644093a9c9ca94a693a30ecd8adca4","observation_id":"79040095-2886-4aca-b2b9-7272d3b3215a","resolution":{"observed_at":"2026-08-03T22:03:17.549020Z","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-03T22:03:17.747065Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.747065Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:6f6b4943c03d73b9dba26f46f201a7f0161385a3bdc8a2a7ab121df82340dbec","observation_id":"b5860378-7591-4290-b4f4-bcf819cf628d","resolution":{"observed_at":"2026-08-03T22:03:17.747065Z","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-03T22:03:17.825057Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.825057Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:ade5ae825a747b0ac4a861dcb778befcc559df0ae55ec2f823f5772604229216","observation_id":"f7d46be2-d48b-4900-a914-2753c774bfc8","resolution":{"observed_at":"2026-08-03T22:03:17.825057Z","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-03T22:03:17.928757Z","title":"Brázdil, J","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:17.928757Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:e8bc12562914fedde3627d588cb22704937f9bee5f0192f7112df7d39c3778e4","observation_id":"7bc26a2b-06d1-41f2-87ec-9a9e66d78d43","resolution":{"observed_at":"2026-08-03T22:03:17.928757Z","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-03T22:03:18.084425Z","title":"Etessami, M","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:18.084425Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:d7b190eccaffa62b8ef6fcef82ecb99b46ec129406c6ae3e3f5a080f9be06962","observation_id":"cabde0e7-4b22-4d76-9494-b534b3e3a832","resolution":{"observed_at":"2026-08-03T22:03:18.084425Z","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-03T22:03:18.233362Z","title":"Etessami, M","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:18.233362Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:c7ace23413564aceba3c72e27170fc53be0d257e9bc2de6a843cc76640edb818","observation_id":"ce6cc78c-0b2c-4eac-8708-e60132bf7e77","resolution":{"observed_at":"2026-08-03T22:03:18.233362Z","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-03T22:03:18.385845Z","title":"Esparza, S","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:18.385845Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:6a34894ed8fc5131d4518c0a17f7c42f599d70cd3b56fc9b2a739bba024b8ca5","observation_id":"3eb8685a-56e4-4852-940f-e4a457f6dc7b","resolution":{"observed_at":"2026-08-03T22:03:18.385845Z","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-03T22:03:18.544462Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:18.544462Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:956d768af066c418e12d77e5d2a9c7cbeabe6cda7bfefffa54723a560e49fd8a","observation_id":"34abe28b-78ae-45a8-88a1-e1eefc9fcd8d","resolution":{"observed_at":"2026-08-03T22:03:18.544462Z","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-03T22:03:18.699002Z","title":"Kwiatkowska, G","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:18.699002Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:8f0213b6d504fb6231ad7c366f6b26ff83ec2eb0c120710391bc7e7236472483","observation_id":"ad846aa6-30d1-46b6-8443-25c9c0ee1283","resolution":{"observed_at":"2026-08-03T22:03:18.699002Z","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-03T22:03:18.772897Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:18.772897Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:3f25cb3419edc4ed225054b209af2f795a84cbdbda444394f79c1c8e397b3475","observation_id":"f58936fb-b439-429f-b502-0a7baecc6297","resolution":{"observed_at":"2026-08-03T22:03:18.772897Z","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-03T22:03:18.935332Z","title":"Dehnert, S","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:18.935332Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:891c4ac337ee36ac830abd0abf81e04b98f9dc85158ebc136587378858a0ef2a","observation_id":"558a31cd-46a2-40b2-9a2f-54ce742d3e5f","resolution":{"observed_at":"2026-08-03T22:03:18.935332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10410","last_updated":"2020-06-17T17:49:58Z","snapshot_observed_at":"2026-08-13T13:37:56.969016Z","submitted_at":"2020-02-24T17:55:10Z","title":"Lagrangian Decomposition for Neural Network Verification","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10410","snapshot_observed_at":"2026-08-03T22:03:19.127917Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:19.127917Z"},"links":{"cited_paper":"/paper/2002.10410","citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:51742dca62407aa35f0760f9bb34dd50f3e55c5c5565562249c9352f549038db","observation_id":"8e201696-3dc6-44dd-875a-5a9a1401f4c0","resolution":{"observed_at":"2026-08-03T22:03:19.127917Z","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-03T22:03:19.336708Z","title":"Hack, Decidability Questions for Petri Nets, Ph.D","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:19.336708Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:5e63393864f51ee0ca8cdd7c5f762811d291ed7c97f830c8be2efceaf5fce393","observation_id":"bbffad13-5394-4fbd-8174-3873adf01d08","resolution":{"observed_at":"2026-08-03T22:03:19.336708Z","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-03T22:03:19.422475Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:19.422475Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:8ccd737834cf0f2dfb4b725ecae5b538bd431afa0ef1de8ed8ce2ab7b72bc6d9","observation_id":"616df906-e608-472d-b16a-e2be210d36c2","resolution":{"observed_at":"2026-08-03T22:03:19.422475Z","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-03T22:03:19.556933Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:19.556933Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:61b803d8566ec02a4ae59992428489013d391e43453bf1ae5a9fde91025767fa","observation_id":"dd399d43-f38f-405f-92da-1868644fc674","resolution":{"observed_at":"2026-08-03T22:03:19.556933Z","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-03T22:03:19.702230Z","title":null,"venue":null,"work_id":null,"year":1962},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:19.702230Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:f938004d2f46450cd81ed294ef09aa63249eb2c07c1e4bfba4ce97fc0d1dc4db","observation_id":"1bddac81-ca36-4db6-aca0-2e0ad234f55d","resolution":{"observed_at":"2026-08-03T22:03:19.702230Z","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-03T22:03:19.865392Z","title":"McNaughton, Testing and generating infinite sequences by a finite automaton, Information and Control 9 (5) (1966) 521–530","venue":null,"work_id":null,"year":1966},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:19.865392Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:ee80b8b8d20f5f2d717dd325a519f37fb749aa24891a8277a76df6d1fe82a3ba","observation_id":"9b9a4254-f069-4263-8b14-9b31d4308dce","resolution":{"observed_at":"2026-08-03T22:03:19.865392Z","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-03T22:03:19.976898Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:19.976898Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:62154e220c884349f70d2e70ee9af67843bc2bdbb018e9281b3154f5fcc902c1","observation_id":"6ace8ef0-4d52-4f45-9d54-ad3ff21d73df","resolution":{"observed_at":"2026-08-03T22:03:19.976898Z","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-03T22:03:20.057718Z","title":"Staiger, ω-Languages, Handbook of Formal Languages, Volume 3: Beyond Words (1997) 339–387","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.057718Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:f78520d8040e807894c6f605d9461e88a0b784846ed658a2f7ef498307681e64","observation_id":"777a0a1f-1d39-4b95-8211-efea96ff3865","resolution":{"observed_at":"2026-08-03T22:03:20.057718Z","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-03T22:03:20.190161Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.190161Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:5edc10b350d518a3720af34f53ec3687b89edd363c3aaedc3bcdd93523d43807","observation_id":"c65dc5b6-ea11-4ae8-bd9b-38ba409c2a5d","resolution":{"observed_at":"2026-08-03T22:03:20.190161Z","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-03T22:03:20.303367Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.303367Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:1d3c3f109ca5c84487e542e8e162c63542912cbfbfbaf10a5889b5b3b9e0e266","observation_id":"fc34da5e-1b4b-4554-a988-2d1d7d79e00e","resolution":{"observed_at":"2026-08-03T22:03:20.303367Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T22:03:20.360675Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.360675Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:178c0f7bf78d55f4c4bb580bf169ba2c0b347cbbb09a436e570b78b7edacf239","observation_id":"88bcec46-ae02-46f0-abe9-4c34e218327f","resolution":{"observed_at":"2026-08-03T22:03:20.360675Z","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-03T22:03:20.430857Z","title":"Safra, On the Complexity ofω-Automata, in: 29th Annual Symposium on Foundations of Computer Science (FOCS), IEEE, 1988, pp","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.430857Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:b7eb1dd92d96f03bf01f2a10f8d691f684394882decb712266dae0398f47b6fb","observation_id":"bbee86c9-bb9d-4b15-9fdd-6f8ba102bc15","resolution":{"observed_at":"2026-08-03T22:03:20.430857Z","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-03T22:03:20.473015Z","title":"Francez, A","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.473015Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:bac8a97446c805c6a0989c0ef5846acb825c1f1a0740f8163c1f176e5f89c328","observation_id":"3ad009d2-fb89-4343-ab8e-fc535badcb2d","resolution":{"observed_at":"2026-08-03T22:03:20.473015Z","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-03T22:03:20.510185Z","title":null,"venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.510185Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:35908e6e922562a41dd50cb7abb096369ef40fa491d07dfa114590baac0f961a","observation_id":"2fc14424-aba3-4e45-9cc4-926c230ca745","resolution":{"observed_at":"2026-08-03T22:03:20.510185Z","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-03T22:03:20.518479Z","title":"Landweber, Decision problems forω-automata, Mathemati- cal Systems Theory 3 (4) (1969) 376–384","venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.518479Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:f1be6884d9d5503edec5a73336a6a46db72ff17e8f5cf56a6f87ba17eac051c5","observation_id":"a4df6afa-a385-43c8-9930-4cff72624aa2","resolution":{"observed_at":"2026-08-03T22:03:20.518479Z","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-03T22:03:20.552811Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.552811Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:521b80ddb462ff6bc77e2cf315bad66c497ca2df2712df8b33e1d5fe3ff69895","observation_id":"b2e15cdc-cc0b-4306-ab27-1afe793755a5","resolution":{"observed_at":"2026-08-03T22:03:20.552811Z","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-03T22:03:20.596854Z","title":"Esparza, D","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.596854Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:7c981719d947b088825a3073d9e053f3741f8a4f6518cee8d2d9b3207c558526","observation_id":"65c1247e-61a2-46fa-8e3b-978471c858fe","resolution":{"observed_at":"2026-08-03T22:03:20.596854Z","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-03T22:03:20.634387Z","title":"Walukiewicz, Pushdown Processes: Games and Model Checking, in: Computer Aided Verification (CAV 2001), Vol","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.634387Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:3fad8f153f497fac1edaa00934d430f058a2b5ae36da5d6b9327e04b7981e7e1","observation_id":"808cbae9-1955-4c41-ba2e-1bf470a07d44","resolution":{"observed_at":"2026-08-03T22:03:20.634387Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0304-3975(02)00407-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T22:09:20.608230Z","title":"Bouajjani, J","venue":null,"work_id":"cd86ee76-5d0e-45e7-8ae9-bdb45c0725d2","year":2003},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.703601Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:7f3fa635af8a603a6a845c8612fb1ac0f5b98612cd8a338bd1f89a3b2a135bd2","observation_id":"64dea827-1c11-4776-aca4-7f149b0372f7","resolution":{"observed_at":"2026-08-03T22:09:20.689218Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T22:03:20.806705Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.806705Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:a8b520966fe9f6c317f61ba06fb4b64fbad240bc7b9df85192c2e904eab2cdd7","observation_id":"5e77fdf6-fb66-487b-b941-4db059a9f3e8","resolution":{"observed_at":"2026-08-03T22:03:20.806705Z","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-03T22:03:20.870192Z","title":null,"venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:20.870192Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:f7747fb04dd8fb3a1b560e70a067b2c97739f3f8bf04a5b14b22f6b618a6111e","observation_id":"401b4af6-a975-43a8-8242-3be2440c0a3e","resolution":{"observed_at":"2026-08-03T22:03:20.870192Z","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-03T22:03:21.019008Z","title":"Paz, Introduction to Probabilistic Automata, Academic Press, 1971","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.019008Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:b8e232d21ee116916a5d7c1f8db61d7139b46440c15aff4b2fcd0c5a9d518ad5","observation_id":"4b311c77-36a7-4966-a531-7373941ecdf7","resolution":{"observed_at":"2026-08-03T22:03:21.019008Z","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-03T22:03:21.062472Z","title":"Madani, S","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.062472Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:59eb2dc6fad21365edbf7bb962bd59857e48090eacd2537bf7fb517d8fa2c12b","observation_id":"de22b61b-1e54-4e70-966d-3607acb88696","resolution":{"observed_at":"2026-08-03T22:03:21.062472Z","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-03T22:03:21.185696Z","title":"Billingsley, Probability and Measure, 3rd Edition, John Wiley & Sons, New York, 1995","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.185696Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:aee1fcefbcc70710f1c741640aec2cab6d0a46d18a568e07b433e166b6b7f7a3","observation_id":"0bf4c7c6-8712-467b-be57-53b09fcab82e","resolution":{"observed_at":"2026-08-03T22:03:21.185696Z","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-03T22:03:21.249177Z","title":null,"venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.249177Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:824545f9b6e8a2178c36971f4a69e3689fe41d63b549e737555d0824d69efb95","observation_id":"2d7a14a5-e07b-4364-b2ee-151b3de7ab23","resolution":{"observed_at":"2026-08-03T22:03:21.249177Z","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-03T22:03:21.434445Z","title":"Baier, M","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.434445Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:4c6cb019acd49aa780a53711a06c23a85d62402ae2e26b2f12284c34c9d6c98a","observation_id":"7ca20716-b4ad-454d-bf19-e2a1309c1c51","resolution":{"observed_at":"2026-08-03T22:03:21.434445Z","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-03T22:03:21.596887Z","title":"Courcoubetis, M","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.596887Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:e2324d787efce9222a9c0302c4366b02edd2f848233771070104a2cdf0e9b3db","observation_id":"cfe3131c-c981-4ec7-a33d-701827af766d","resolution":{"observed_at":"2026-08-03T22:03:21.596887Z","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-03T22:03:21.727857Z","title":null,"venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.727857Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:1152642ef0ce3252bb9cc6f56e9b8949a23404f313ba2f6ad9cfbbb1b6ab6599","observation_id":"d19b569e-1ef0-4147-8285-7f721f65c005","resolution":{"observed_at":"2026-08-03T22:03:21.727857Z","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-03T22:03:21.821219Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.821219Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:36c3c2607e7fb75053f0a007d779138662d7969664f13577a01e468be499d6a1","observation_id":"9b4813af-d3c2-44dc-ba40-179ebf191c36","resolution":{"observed_at":"2026-08-03T22:03:21.821219Z","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-03T22:03:21.889224Z","title":"Hernández-Lerma, J","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.889224Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:6aa8e835825a8bdc6eaa0bb3d4590cdbd1460f4cdfc6dd78ae45dbafae9b4525","observation_id":"e66c80f9-8126-4b1b-8779-7ea7aa9d7151","resolution":{"observed_at":"2026-08-03T22:03:21.889224Z","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-03T22:03:21.987326Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:21.987326Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:9b20b8108a19c565fb4d6eb2062f4126856f2859b01a688b94dde82ea8e31dc6","observation_id":"091b0561-92d5-445b-9bac-56dbc1efd39c","resolution":{"observed_at":"2026-08-03T22:03:21.987326Z","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-03T22:03:22.057301Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:22.057301Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:c2bec8702dc7b609794b8d402503dfe2ce3f14d9d083b6f8012cf149d02b040b","observation_id":"147b815b-c9af-427f-a507-80005545516e","resolution":{"observed_at":"2026-08-03T22:03:22.057301Z","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-03T22:03:22.119663Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:22.119663Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:2b812560ecf2c4218dbab3caefd4729e520c1c4d5583f8cf5c1c49dac970730d","observation_id":"e4ce2b5d-7eab-45f4-b589-f9a5de2fd39b","resolution":{"observed_at":"2026-08-03T22:03:22.119663Z","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-03T22:03:22.193839Z","title":"Lattimore, M","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:22.193839Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:73c16a90f4b76bea19428e0d6f6823173194cd3fb2ea8ffa39ecee21ae87f00e","observation_id":"5b252799-5946-4c4c-8842-4d9e90da3206","resolution":{"observed_at":"2026-08-03T22:03:22.193839Z","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-03T22:03:22.254782Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:22.254782Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:83b95088a5542b5b09f07157393ab109eb25e8329067a9e32a8f30e891b7ecf5","observation_id":"f41ddf96-021b-4920-af9c-77f74a8cfecd","resolution":{"observed_at":"2026-08-03T22:03:22.254782Z","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-03T22:03:22.406004Z","title":"Shepardson, H","venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:22.406004Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:ea871b1fcd0160634e26eea38179a6437bb7c3baba272cfb51e297954b0657ee","observation_id":"5357ecdb-06b7-4c53-a6eb-2a795029ecaf","resolution":{"observed_at":"2026-08-03T22:03:22.406004Z","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-03T22:03:22.539820Z","title":"inhibitor","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks","version":3},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-03T22:03:22.539820Z"},"links":{"citing_paper":"/paper/2511.12974"},"observation_digest":"sha256:ecfa0a3fd7d030776f1e43da4ba7a27286307f1eb755125e074610ba5c959fc3","observation_id":"d2fa3260-ffd5-4f51-9a6f-707753e189d2","resolution":{"observed_at":"2026-08-03T22:03:22.539820Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2511.12974","last_updated":"2026-07-17T02:46:44Z","latest_version":3,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-15T00:06:04.104382Z","submitted_at":"2025-11-17T04:51:01Z","title":"Formal Foundations for Controlled Stochastic Activity Networks"},"reference_resolution":{"displayed":72,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":66,"verified_exact":5,"verified_fuzzy":0},"total_outbound_references":72},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 0 inbound Pith citation observations for arXiv:2511.12974."}