{"as_of":"2026-08-20T12:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1b64dea039c37121af2e8c25b7cad36d6f28e3f39fe2c055cd08633ced79fd79","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:58:32.089360Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"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/2506.14581/citation-record","integrity":"/paper/2506.14581/integrity","json":"/paper/2506.14581/citation-record.json","paper":"/paper/2506.14581"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-46002-9_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"In: Bridging the Gap Between AI and Reality","venue":"Lecture notes in computer science","work_id":"51a4173c-d136-4e99-91e1-adf7aa66d020","year":2024},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.284629Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:1bf2c7e796f53ec7c82eced84f35173337a8038f11e2f1d247157e3c1b9b3cb0","observation_id":"0aa9c2e7-55b3-459a-87a1-0e2bedb54194","resolution":{"observed_at":"2026-08-15T19:58:32.657317Z","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/978-3-030-90870-6_19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"In: Formal Methods","venue":"Lecture notes in computer science","work_id":"2c92df82-d0d5-4d39-8bc7-fb22a3f91a65","year":2021},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.311891Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:0f85be1da9cdadb137c6375e789c863013ee6157dae145da42f251cc799e4f3f","observation_id":"0f6fa296-2cd3-47c5-9659-0e0f94429191","resolution":{"observed_at":"2026-08-15T19:58:32.609452Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:33.870764Z","title":"Theoretical Computer Science 138, 3–34 (1995)","venue":null,"work_id":"67f93422-cb7d-4986-a480-8c62266ae831","year":1995},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.416010Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:e4609f75cd5f7ee4bf72a4688af64b35e6758558cbb6ed9d24cc14030a456044","observation_id":"68c4dcb7-8b1d-4b22-9111-7157a39b5f63","resolution":{"observed_at":"2026-08-15T19:58:33.874199Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-15T19:58:31.477324Z","title":"In: Hybrid systems, pp","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.477324Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:72462142b2d9804fa9a955e6245671b56de9aa3a9eb2adcadfed2e02497c8632","observation_id":"f34dd9c5-07dd-49ca-8c21-8dfc1b8292bf","resolution":{"observed_at":"2026-08-15T19:58:31.477324Z","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-15T19:58:33.637487Z","title":"International Journal on Software Tools for Technology Transfer21(1), 87–104 (2019)","venue":null,"work_id":"2493b2c6-68c4-40ae-89f8-307698745569","year":2019},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.482230Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:b691e955f784751ebd92269ecdd8b3ec32a85780722f36ac39573493b8cf73aa","observation_id":"6aba7e0d-d9e1-4109-8e61-00b72be78e7a","resolution":{"observed_at":"2026-08-15T19:58:33.729556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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-15T19:58:31.487234Z","title":"Logical Methods in Comp","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.487234Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:731a5935375ea184dc57f446e31154ab4a8d678667ac983ee63e44b663b3bcb8","observation_id":"9e3669ca-7920-460d-8802-a01e1de17d19","resolution":{"observed_at":"2026-08-15T19:58:31.487234Z","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.1007/978-3-031-75380-0_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"In: Leveraging Applications of Formal Methods, Verification and Validation","venue":"Lecture notes in computer science","work_id":"6d907987-a2ce-4d14-b5e0-3d82b4452af2","year":2025},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.493732Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:3ffddc6f4022a397889ba8c7d97245145b24998a29fa74667c7aea4f533f7ac3","observation_id":"7a9cb3e5-9dcd-4367-aec2-649e92c580e8","resolution":{"observed_at":"2026-08-15T19:58:32.585678Z","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/978-3-031-76554-4_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"In: Integrated Formal Methods","venue":"Lecture notes in computer science","work_id":"a1d8d1c5-693b-4b57-b550-20ccfc920cf7","year":2025},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.498402Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:bd028d6be49f3f16e5e4c8befe7f240cd523d4ca6886fd213f0421013324495d","observation_id":"d866b75c-f0bf-409b-964a-da66132d0eef","resolution":{"observed_at":"2026-08-15T19:58:32.573230Z","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/978-3-319-89963-3_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"In: 24th Int","venue":"Lecture notes in computer science","work_id":"7ad75d39-1e81-4f5d-88f4-bf6d9b40577e","year":2018},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.502685Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:21448f3fa64db6df1bbcdbed581bad847685537b9dc97d5f6b31b7326b20f11d","observation_id":"89426e10-5c62-4a4d-ba9d-c4a5e4fa9b02","resolution":{"observed_at":"2026-08-15T19:58:32.538906Z","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":{"arxiv_id":"2411.00559","last_updated":"2025-09-12T14:10:32Z","snapshot_observed_at":"2026-08-19T20:53:00.759927Z","submitted_at":"2024-11-01T13:16:42Z","title":"Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.00559","snapshot_observed_at":"2026-08-15T19:58:31.508313Z","title":"CoRR (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.508313Z"},"links":{"cited_paper":"/paper/2411.00559","citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:08265e91b0b7d9d57b71605e5d8933939db5de0c695b8eb0e9f1729525143711","observation_id":"4728a5a3-cda6-4e23-b744-f13e94655d29","resolution":{"observed_at":"2026-08-15T19:58:31.508313Z","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-15T19:58:33.622267Z","title":"In: Provably Correct Systems, pp","venue":null,"work_id":"bc3c1d04-f7c9-4e61-99da-d6214b0fd2b5","year":2017},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.513165Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:094ec2ca3148c403daa43738188acc8d20aedb41e4a4048de887ee34495d58f2","observation_id":"3510d73c-8d78-4e85-9dd7-8570a3e733a3","resolution":{"observed_at":"2026-08-15T19:58:33.628063Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:33.606130Z","title":"Energies 11, 306 (2018)","venue":null,"work_id":"00979bd8-221b-43c4-bb3c-47721dea189c","year":2018},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.522924Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:9c76c73453d95698187ab98f02c68edf8957f6f06da30b05eb1d6bb008b29369","observation_id":"dea0f5d1-5a1e-47d5-a724-0cd78af6b98b","resolution":{"observed_at":"2026-08-15T19:58:33.611113Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"2002.80665","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:32.932040Z","title":"In: IEEE Trans","venue":null,"work_id":"27f0d618-263c-437f-833b-5fcd006c75fb","year":2003},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.526513Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:9605931e833f1dc0b941bcb349a2cb3d6ae4a8cfbb101ad84726b548d1a40b27","observation_id":"e83ef51e-1dc6-440a-be4f-50886d4fc9b9","resolution":{"observed_at":"2026-08-15T19:58:32.945549Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-15T19:58:31.563089Z","title":"International Journal on Software Tools for Technology Transfer17(4), 397–415 (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.563089Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:6c196603a2d7f66d4c66caa890d584e615582efe33e18e14309b808f0630cad6","observation_id":"981158d3-d48a-41f0-8bf6-a14841160f84","resolution":{"observed_at":"2026-08-15T19:58:31.563089Z","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-15T19:58:31.694554Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.694554Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:73a5e00d02caba094112c832b95363948c93aa7c0e829f4de39e2fac54284138","observation_id":"ec8b4a56-0270-43fc-8299-4dafad3ca0e9","resolution":{"observed_at":"2026-08-15T19:58:31.694554Z","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.1007/978-3-031-35257-7_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"In: 17th Int","venue":"Lecture notes in computer science","work_id":"f97b1530-b30b-48fd-818a-ce473bbd53cf","year":2023},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.776438Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:78d3fc5f50cda383f20ad6dc11c6b2d52ee379b77222f5e4dc00f7b955faa6b1","observation_id":"bfe90fe3-a058-45c8-a442-a57d20d369b8","resolution":{"observed_at":"2026-08-15T19:58:32.455881Z","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-15T19:58:31.780790Z","title":"In: 16th Int","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.780790Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:c51d84f377e31da4f02f0e4acd37d6c53f488717c0d183646dc7387d00f7bd58","observation_id":"6be669d8-8dbe-4e00-96cb-e915351287fc","resolution":{"observed_at":"2026-08-15T19:58:31.780790Z","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-15T19:58:31.784600Z","title":"In: International Symposium on Formal Methods","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.784600Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:d3495a451880b24cbe1ea21fc95545454a5d5920303d93f376f5e1e5665e05b9","observation_id":"bcee94e3-0ca0-44f0-aece-b18f209f9ec4","resolution":{"observed_at":"2026-08-15T19:58:31.784600Z","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-15T19:58:31.789622Z","title":"In: Proceedings of the 16th Int","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.789622Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:0e7e1bf7026044ddd33060db9ec40c2a15f1d67476966fe8d4d0395e427f6d22","observation_id":"a92b077f-99a6-4766-b86a-ac713f1ce17c","resolution":{"observed_at":"2026-08-15T19:58:31.789622Z","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-15T19:58:31.793000Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.793000Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:3d553f82b9eec20df45b587bb0a815ee1be849058052a7b2994e8f4c13742c0c","observation_id":"e10b3111-e2fd-45de-bb96-d20a58cf7ed5","resolution":{"observed_at":"2026-08-15T19:58:31.793000Z","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-15T19:58:33.455018Z","title":"In: Verification of digital and hybrid systems, pp","venue":null,"work_id":"cd3712f3-8d32-49fc-8363-71153cbb0efb","year":2000},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.797871Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:164d3e6f38f37cbd22c5ae315e63c4e3e7bfb424613c377735763811520cf4ac","observation_id":"1ee2f06f-e9da-4bc6-a2ad-9a9125c676e9","resolution":{"observed_at":"2026-08-15T19:58:33.552838Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:33.410518Z","title":null,"venue":null,"work_id":"55517d44-03ca-4bc1-8cf8-c325ab6e311f","year":1998},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.801112Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:2876967c0f7e4299c78804a8d33550cbf4405da2cbd5c31788aebf010481d21e","observation_id":"88aeaf1e-003e-4cd2-80f6-9d8122d250f9","resolution":{"observed_at":"2026-08-15T19:58:33.415221Z","resolver_source":"raw_fallback","status":"unresolved"},"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-15T19:58:31.805030Z","title":"London (2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.805030Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:e5d495266bfc66e425fa09f874e3c04d907567722189bd73bb0cf85cd7504675","observation_id":"57b3d8a1-078d-4083-851b-9d58a4e12b14","resolution":{"observed_at":"2026-08-15T19:58:31.805030Z","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.5013/ijssst.a.20.s1.06","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:32.402646Z","title":null,"venue":null,"work_id":"244b1e34-24f0-4bce-8407-8989020cf71d","year":2019},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.815815Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:d1a4b5a6f675cd45f85aa86acb622fa186aa83afec442d8125c3539c23a884d9","observation_id":"68128ea5-3082-4dc8-b0a6-96ef2810f574","resolution":{"observed_at":"2026-08-15T19:58:32.406997Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:33.396375Z","title":"In: Formal Techniques for Safety-Critical Systems: 4th In- ternational Workshop","venue":null,"work_id":"982f269c-65c3-47c8-8beb-d0faa491a8ac","year":2016},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.890315Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:1a0860be95e3be493407047e29686d4f8ef253a60dcbedfe82842b87b60a03dd","observation_id":"13fc5334-2cc0-4496-8dfa-3f22f250b9ac","resolution":{"observed_at":"2026-08-15T19:58:33.400870Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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/978-3-030-02450-5_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"98c25976-3dd8-443e-baa3-75c95a28c2a5","year":2018},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.928428Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:623be6e12cea1ce6bea288beac6271c994110d40ece33ea39e729278ad648c8b","observation_id":"f2a8592e-2083-47b7-b33d-76e5db762777","resolution":{"observed_at":"2026-08-15T19:58:32.391169Z","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/978-3-030-40914-2_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"0ee31e57-ccd3-466b-95c4-b765e18542f8","year":2019},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.962916Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:d3bab5a7439abd2c5b03d29d20f14ee399963f77270669c2e73ee71171b4fdf4","observation_id":"130c81ff-9e77-4165-bccf-49bcb89fca41","resolution":{"observed_at":"2026-08-15T19:58:32.369267Z","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.3166/ejc.16.583-594","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:32.277163Z","title":"European Journal of Control16(6), 583–594 (2010)","venue":null,"work_id":"a0d41801-7afc-4235-be51-155e26294779","year":2010},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.975836Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:a014c304ca0ca460f52fc5e65a7e617e656054b35b5ef7ab2a2980f53123c027","observation_id":"65885f01-7a60-4c94-9d84-cfe35d328024","resolution":{"observed_at":"2026-08-15T19:58:32.315169Z","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-15T19:58:31.980132Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.980132Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:892d2c1f6b87e83b9da7f4eea6ad6998ce5887dfdb942f482f75e4aa33791dbd","observation_id":"048669ef-9345-400b-be06-674387e35471","resolution":{"observed_at":"2026-08-15T19:58:31.980132Z","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-15T19:58:31.984615Z","title":"Journal of Automated Reasoning 41(2), 143–189 (2008)","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.984615Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:722a28703b635b73e8749277266b9be8607eef89a3e4cd14592a1b5fb472b946","observation_id":"db610c6a-9e60-4e6d-82ab-3c46efc940c0","resolution":{"observed_at":"2026-08-15T19:58:31.984615Z","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-15T19:58:33.202202Z","title":"ACM Trans- actions on Modeling and Computer Simulation33(4) (2023)","venue":null,"work_id":"cc9043b4-7451-4050-870b-dff203bd5363","year":2023},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.988199Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:d28c1dcff263f8be19071ee71b633c84b5cd147b8b2aa0bbdcccb64e995323b2","observation_id":"226d56e4-56a7-401d-9cf2-b179d929b1c1","resolution":{"observed_at":"2026-08-15T19:58:33.289821Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:33.185915Z","title":"https://de.mathworks.com/products/simulink.html","venue":null,"work_id":"0d8e13f8-4fa0-4935-b43e-0ce94cdc8345","year":null},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.991983Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:2edc38cbeb79c1b26f5ebee1b4089973c3148ffcf8cb0cffb26af77042aaf0bc","observation_id":"e625555f-88e9-4cab-bf9c-a1094dcd4dcc","resolution":{"observed_at":"2026-08-15T19:58:33.190976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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/978-3-031-43835-6_17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"In: Quantitative Evaluation of Systems - 20th Modeling Uncertainty in Simulink and SHA 25 Int","venue":"Lecture notes in computer science","work_id":"1a8afd26-1681-4023-bb62-01b93487f58d","year":2023},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:31.995804Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:3db463e64ec8d1e79ed877a2bbac2c9eda278f4d3cf2cff77e84b12ac032f696","observation_id":"b8b4f961-5757-462a-ba12-5ef30ee5d140","resolution":{"observed_at":"2026-08-15T19:58:32.211809Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:33.171847Z","title":"In: Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III","venue":null,"work_id":"7c83e91e-37ec-493d-ba6c-edcd4cef8b76","year":2025},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:32.000496Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:0a0c80caea5982a1aaeb707333a747f000b5016afe68e954b026955ebc4ba110","observation_id":"803ce86d-15d0-46d0-9b84-4b4b0d997bff","resolution":{"observed_at":"2026-08-15T19:58:33.176568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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-15T19:58:32.004345Z","title":"Journal of the American Statistical Association 22(158), 209–212 (1927)","venue":null,"work_id":null,"year":1927},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:32.004345Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:7ea121f0cb63354438b8a81b292f350504b03682db7b96af9dc34a0c0079e8ab","observation_id":"c6287521-b901-41fe-ac17-a7ea5c926223","resolution":{"observed_at":"2026-08-15T19:58:32.004345Z","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-15T19:58:33.026737Z","title":null,"venue":null,"work_id":"ce79e2c9-4d01-4166-a9d9-380943273d45","year":2015},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:32.008519Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:0583e1534853d376538eafb8615ed182385b9177cd35366b17cf8884c4e07d94","observation_id":"9d78291f-22e6-44e5-a3be-95382dd8be63","resolution":{"observed_at":"2026-08-15T19:58:33.092380Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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.1145/2185632","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:58:32.188278Z","title":"In: Proceedings of the 15th ACM Int","venue":null,"work_id":"a3acef47-0ab4-4c49-9791-6f4f15a605f9","year":2012},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:32.043875Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:625e63c42aa0627a6b60286a88b787d4a01493da0108d4c3a493231ec992a955","observation_id":"467bf29c-a14b-48fb-9647-a333f2ebfef9","resolution":{"observed_at":"2026-08-15T19:58:32.192845Z","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/s10703-013-0195-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-19T11:03:45.297681Z","title":"Formal Methods in System Design pp","venue":"Formal Methods in System Design","work_id":"1b3dd40c-4d21-4394-8b3e-9603dff0637a","year":2013},"citing_paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T19:58:32.089360Z"},"links":{"citing_paper":"/paper/2506.14581"},"observation_digest":"sha256:8cdbdf6234aff57ebafe1eaeb219a388c13da3a543fd6630aaf1077074038d55","observation_id":"976dbbe3-d32d-42e4-9b5a-6eacc6130b93","resolution":{"observed_at":"2026-08-15T19:58:32.178269Z","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"}}],"paper":{"arxiv_id":"2506.14581","last_updated":"2025-06-17T14:37:36Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-17T11:26:03.376828Z","submitted_at":"2025-06-17T14:37:36Z","title":"Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":6,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":14,"verified_exact":13,"verified_fuzzy":4},"total_outbound_references":38},"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 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2506.14581."}