{"as_of":"2026-08-19T05:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b75fff60c31a9376e4009e4419d43b9536190aea1a1bb83bed8ff28cf7f604a9","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:19:34.243943Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2411.14374/citation-record","integrity":"/paper/2411.14374/integrity","json":"/paper/2411.14374/citation-record.json","paper":"/paper/2411.14374"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:34.027028Z","title":"Hoare (2005): The B-Book: Assigning Programs to Meanings","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.027028Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:c178e44589aa4f150c8da81878db6ad58ed4bc921f910ff9d34bead3b9f085f6","observation_id":"9ab9c4e0-0c2c-49f3-99e0-ef110e920f9f","resolution":{"observed_at":"2026-08-12T15:19:34.027028Z","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-12T15:19:34.032829Z","title":"In: Proceedings FMICS, LNCS 12863, Springer, pp","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.032829Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:25c1579cbe32642575a2826e6284cb39308a4570143ad1f02b861710bb6cd856","observation_id":"751eb332-ba07-4423-95cf-a0ace627db80","resolution":{"observed_at":"2026-08-12T15:19:34.032829Z","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-030-58298-2_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"d71dc01b-23ae-413b-840a-f9803bd1a0c8","year":2020},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.037948Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:72b6f227c2f78f86221695a235d1ba176c3f5b448f6b03e1c8b068b7a232d898","observation_id":"ae5fc094-6bd9-4129-9e88-d650b26d65fd","resolution":{"observed_at":"2026-08-12T15:19:34.819540Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:35.268714Z","title":"Technical Report EN50128, European Standard","venue":null,"work_id":"62cd7559-08b7-4387-a9f3-0728d31a99a0","year":2011},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.044696Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:ac5bfcc4194b05a5c30524c76da57d9b1ce5271a1bd557b5154228a2cda23542","observation_id":"fe89e020-742b-44eb-8fa2-30212c6a5115","resolution":{"observed_at":"2026-08-12T15:19:35.277622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-68499-4_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Proceedings RSSRail, pp","venue":"Lecture notes in computer science","work_id":"cd16819a-3bb4-4ed9-bff8-6b688888693a","year":2017},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.050871Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:3041c07d6b5292b8fe66590ed1c639228bae13f4c4a08681af4727007b0fb295","observation_id":"d40a9269-aae3-4e08-a96a-438a519fec2d","resolution":{"observed_at":"2026-08-12T15:19:34.799551Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-18744-6_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Proceedings RSSRail, pp","venue":"Lecture notes in computer science","work_id":"c6b59487-4a96-40ca-bc60-6f1926d0b6b9","year":2019},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.056464Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:cfccd1c0293e9b18b14d5e5005a9940f6038f74a602dbcdeb55e6c439a17e825","observation_id":"a9e54288-06b1-414b-914b-f7af518cb09b","resolution":{"observed_at":"2026-08-12T15:19:34.780174Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3166/tsi.22.11-32","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:34.755635Z","title":"L’expérience de Siemens Transportation Systems","venue":null,"work_id":"8f1e9f52-f2c2-43a0-83ad-1565c5e1fd05","year":2003},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.062185Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:1d420133367184cd980f8ba191f6ef19c17799323e4968b708c9b45e7f957e2b","observation_id":"99c012cc-6970-4ec0-8fb4-3f23e7340f75","resolution":{"observed_at":"2026-08-12T15:19:34.761654Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.03938","last_updated":"2017-11-10T17:54:40Z","snapshot_observed_at":"2026-08-16T20:02:41.852139Z","submitted_at":"2017-11-10T17:54:40Z","title":"CARLA: An Open Urban Driving Simulator","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.03938","snapshot_observed_at":"2026-08-12T15:19:34.067409Z","title":"López & Vladlen Koltun (2017): CARLA: An Open Urban Driving Simulator","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.067409Z"},"links":{"cited_paper":"/paper/1711.03938","citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:904c7f0116f2f8a06ebcf339dd2bc24f58f70e208d4e9dcc62bad8296af02d4d","observation_id":"327eab4a-c810-4bfa-a517-593d91ff41c1","resolution":{"observed_at":"2026-08-12T15:19:34.067409Z","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-12T15:19:34.073184Z","title":"IEEE Transactions on Intelligent Transportation Systems 24(12), pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.073184Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:855e17dd1b0c53ed5eb7b258a1ccd54d18f114d4073dd0f20a417cd4c44c73fa","observation_id":"cee75873-5312-4474-ad25-596406ca8933","resolution":{"observed_at":"2026-08-12T15:19:34.073184Z","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/11955757_21","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Proceedings B (B2007), LNCS 4355, Springer, Besancon, France, pp","venue":"Lecture notes in computer science","work_id":"087c3a35-4803-4b5b-a9f3-cdf3d8962b1d","year":2007},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.078234Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:4a2167a9b23da47110c781e8d894bbbb39e426182d92c57b384438be6558bc53","observation_id":"4438e280-904c-4f0a-9dde-9b3436a1f886","resolution":{"observed_at":"2026-08-12T15:19:34.719977Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:34.084004Z","title":"In: 2018 IEEE symposium on security and privacy (SP), IEEE, pp","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.084004Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:c41a0ba7c3f1574572ec97915f77ac4add6d23049a4a1f52e1b5247361392190","observation_id":"3b9c2434-6654-46d2-b73c-c4b2ba41a9e9","resolution":{"observed_at":"2026-08-12T15:19:34.084004Z","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-12T15:19:34.088895Z","title":"P˘as˘areanu & Clark Barrett (2018):DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.088895Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:ae01acced74f70a5838eee8206dc4ab1e6a487fa9f2c5bcfab2e157bf82caa6d","observation_id":"563376ce-32aa-444a-b4cb-ad72dbe0a658","resolution":{"observed_at":"2026-08-12T15:19:34.088895Z","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-43366-5_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Proceedings RSSRail, LNCS 14198, Springer, pp","venue":"Lecture notes in computer science","work_id":"89e66e15-e9fc-4b9d-a5f4-3b3a060430cd","year":2023},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.103764Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:d105162707b8da6f79aaf14bd49f52a439aba8bd4c6b92bfe5fb3db553a84f64","observation_id":"d270b98a-d1fe-4b82-8f17-c9ebb25b2e13","resolution":{"observed_at":"2026-08-12T15:19:34.670504Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:34.108726Z","title":"In: Proceedings ICECCS 2024, LNCS 14784, Springer, pp","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.108726Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:7a9de8fa9f0ad9449629829fc40e79e0dc961762b647d5b1ddb7d8b3d18fd592","observation_id":"f350d880-2073-4b46-87b7-cd4916bf5d1d","resolution":{"observed_at":"2026-08-12T15:19:34.108726Z","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/s10009-020-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:34.631501Z","title":null,"venue":null,"work_id":"90b49fc2-7ce7-4ccc-8672-e7aa15ec35ae","year":2020},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.119511Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:b08e2a8fd7c6377506134c1949b2b0a724d96171f3478a971bed574b7850d04b","observation_id":"e65ab96a-5917-4dd0-82b7-820c4e7db8aa","resolution":{"observed_at":"2026-08-12T15:19:34.637980Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:34.124696Z","title":"STTT 24(4), pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.124696Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:67622ecbb08d1ea258b0ec8d630512b698168f75b384aa3010d010681553331d","observation_id":"634269f1-c095-4e93-96b1-7c68e5b4367f","resolution":{"observed_at":"2026-08-12T15:19:34.124696Z","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-12T15:19:34.130656Z","title":"In: Proceedings CA V, LNCS 10426, Springer, pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.130656Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:33633e0a9b79a1f8a44443c737dfe10f0a935792c7984ea52ad567e430de319a","observation_id":"40e6fc1f-806f-463f-9232-0aa2b066ba6c","resolution":{"observed_at":"2026-08-12T15:19:34.130656Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.06178","last_updated":"2021-03-29T01:12:15Z","snapshot_observed_at":"2026-08-16T18:35:44.148425Z","submitted_at":"2021-03-29T01:12:15Z","title":"Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles","version":1},"cited_work":{"arxiv_id":"2104.06178","doi":"10.48550/arxiv.2104.06178","metadata_source":"pith","pith_arxiv_id":"2104.06178","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles","venue":"cs.RO","work_id":"49b32c03-cd24-404f-9386-f82d32862fb6","year":2021},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.136567Z"},"links":{"cited_paper":"/paper/2104.06178","citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:c5f47b569ed9cbd3b64b61ee65347b4f9eadb45c4252aa78a53d27aaf7bb6857","observation_id":"13b609f1-e0b4-4a29-b7e2-91a1d8146c2e","resolution":{"observed_at":"2026-08-12T15:19:34.581811Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-95561-8_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"P ˘as˘areanu & Huafeng Yu (2022): Case Study: Analysis of Autonomous Center Line Tracking Neural Networks","venue":"Lecture notes in computer science","work_id":"fbdff416-bbca-43c1-b5c1-8a34899f603c","year":2022},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.142504Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:7c497f223cfdf43f7e2326d79184744958ec8f63af669e62a8aee9df27123416","observation_id":"06c05bd1-1478-4017-9d68-2944e0a39b94","resolution":{"observed_at":"2026-08-12T15:19:34.552025Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:34.147631Z","title":"In: Proceedings CA V, LNCS 10426, Springer, pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.147631Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:fbebb056efed5972b04796bc3a1def7759c365db9dbc7d4f745f2aa1d5d24ad5","observation_id":"8f9263f6-d62a-4b20-a0a9-8af39ba67e93","resolution":{"observed_at":"2026-08-12T15:19:34.147631Z","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-642-22110-1_-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:34.502452Z","title":"In: Proceedings CA V, LNCS 6806, Springer, pp","venue":null,"work_id":"19b3a42c-f821-4f45-8735-0c7945763c6b","year":2011},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.153632Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:74a66cd2929c57fc747bb3145fce615b4d4ca9320702afa14074b23b491f0c9f","observation_id":"1209f3f0-4881-444c-a361-7c4b08de32e5","resolution":{"observed_at":"2026-08-12T15:19:34.512466Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:34.160115Z","title":"STTT 10(2), pp","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.160115Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:6ebf3fb208e9640ac4e36c3b65b84e88eb94fc62bc56ff020b9c1d84a8d5f885","observation_id":"56a8a832-d7cf-4fe3-a197-1c8d5d198e96","resolution":{"observed_at":"2026-08-12T15:19:34.160115Z","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-12T15:19:34.165250Z","title":"In: Proceedings RSSRail , LNCS 14198, Springer, pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.165250Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:32f2627d402bf4b5168746cd507652b3687d246f908b2c7837db3ac1f4158036","observation_id":"ec274d2e-900e-4ac8-8c5f-76833fb09d8b","resolution":{"observed_at":"2026-08-12T15:19:34.165250Z","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":"2021.11105","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.059839Z","title":"Nurminen (2021): Sys- tematic literature review of validation methods for AI systems","venue":null,"work_id":"72f45cc7-fee7-430e-ae17-2d7786a3c8ae","year":2021},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.171675Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:70b8c83270b66c170a7b796e491d48d03019f1a095b0bb217a44a73ddba63262","observation_id":"41d37d13-41d8-406e-8e34-8243001250f4","resolution":{"observed_at":"2026-08-12T15:19:35.070324Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-4-431-53856-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Springer Science & Business Media, doi:10.1007/978-4-431-53856-1","venue":null,"work_id":"bab5a0dc-2f56-44fb-89b9-2924398d60b9","year":2010},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.177221Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:06b0d5ed4339c1c2ef77a0458e4aedacddfa2ba84827d138434069eef333c0ff","observation_id":"d3dfe087-e57c-4a81-9b1c-ec4a1288859a","resolution":{"observed_at":"2026-08-12T15:19:34.469052Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:34.183015Z","title":"P ˘as˘areanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu & Huafeng Yu (2023): Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.183015Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:896fc2cb12281a478b97fcefa93d657d884b2fe2f8cce1fe5a5b452819609b9b","observation_id":"65e01f76-0d0a-4d93-a1ef-7dcb1b9ce07a","resolution":{"observed_at":"2026-08-12T15:19:34.183015Z","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-19762-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:34.429628Z","title":"In: Proceedings ISoLA, LNCS 13704, Springer, pp","venue":null,"work_id":"4f3a3ccb-df13-44b4-a31d-4cb75b4b968c","year":2022},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.188348Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:8dc81a19b6c2db1921d8b97084de4de8c3df5d1fdabb702a15076a23d28f7e02","observation_id":"53c4f53c-9427-4e67-a118-017d6a2b0d22","resolution":{"observed_at":"2026-08-12T15:19:34.434965Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:34.194167Z","title":"Girshick & Ali Farhadi (2016): You Only Look Once: Uni- fied, Real-Time Object Detection","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.194167Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:c1e4a8368cdd3fd57e3618c21df0341048e4c5f8cad07e34d62dc08fe1cfe0be","observation_id":"67ef5a1d-5b3d-4c2b-982f-29414f0826ad","resolution":{"observed_at":"2026-08-12T15:19:34.194167Z","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-70893-0_14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Proceedings KI 2024 , LNAI 14992, Springer, pp","venue":"Lecture notes in computer science","work_id":"603bfdff-66bc-4c9b-aa9e-9961ba60155c","year":2024},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.199754Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:751126c3a6bd5b61688afbe7aef6c9ce080741bf7cb93d62c0e44a51467e280c","observation_id":"2d53e175-e531-4b0b-b07c-98f6b5d22f72","resolution":{"observed_at":"2026-08-12T15:19:34.402989Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.395.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:34.378739Z","title":"EPTCS 395, pp","venue":null,"work_id":"55521588-6b58-4286-9571-b14c6f94625b","year":2023},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.205559Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:ecd29d85a77e980cfe492e2b32af7592ee829fa2a9e15c417a8f84ad855b73e6","observation_id":"78d3b169-d3ab-4823-b828-d88c7b1ffcc6","resolution":{"observed_at":"2026-08-12T15:19:34.384001Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:34.210508Z","title":"In: Proceedings IJCAI, pp","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.210508Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:25320be72e578473bb8832170da1b9944972791e6470f96e60dd8bc0a63edd71","observation_id":"4d94d62b-77b9-41b1-97f2-0a93c8d0ff6c","resolution":{"observed_at":"2026-08-12T15:19:34.210508Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.04838","last_updated":"2020-05-12T23:28:05Z","snapshot_observed_at":"2026-08-12T05:24:09.128243Z","submitted_at":"2019-12-10T17:28:55Z","title":"Scalability in Perception for Autonomous Driving: Waymo Open Dataset","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.04838","snapshot_observed_at":"2026-08-12T15:19:34.217184Z","title":"(2020): Scalability in perception for autonomous driving: Waymo open dataset","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.217184Z"},"links":{"cited_paper":"/paper/1912.04838","citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:57850e6e1c68340d518512e6c8332d663609ef62f8a3f5995685e15dce3d305b","observation_id":"c9a69eeb-66a2-454c-9013-440a6e7752e3","resolution":{"observed_at":"2026-08-12T15:19:34.217184Z","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-60698-4_16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: NASA Formal Methods Symposium , LNCS 14627, Springer, pp","venue":"Lecture notes in computer science","work_id":"32a4eab7-cb2e-4a59-90cd-678c413d7f55","year":2024},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.222397Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:bffeb5820d17490896d0daca0de165cb0d6a236ef47514b12a8c816e4fa6cb30","observation_id":"8e9060f8-4c82-4361-bf05-774bba5b6f22","resolution":{"observed_at":"2026-08-12T15:19:34.332764Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-12T15:19:34.233733Z","title":"In: Proceedings ABZ, LNCS 12709, Springer, pp","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.233733Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:e6ec4f11e57a5176ad58cfb700b99942d2ca03236ef78d9b66e10b48a60488c1","observation_id":"c4d2033c-31b8-48a5-9c18-fafbe2352e1b","resolution":{"observed_at":"2026-08-12T15:19:34.233733Z","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-12T15:19:34.238594Z","title":"In: Proceedings ABZ, LNCS 12071, Springer, pp","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.238594Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:5c9567f5117e0b1d501c54940b10e97f5b3718314e9b4f7c39cb799496430201","observation_id":"991c010a-a717-4289-943c-02d698153c9b","resolution":{"observed_at":"2026-08-12T15:19:34.238594Z","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-43366-5_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Proceedings RSSRail, LNCS 14198, Springer, pp","venue":"Lecture notes in computer science","work_id":"1fb81795-ec10-4036-a283-a574c5c47817","year":2023},"citing_paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:34.243943Z"},"links":{"citing_paper":"/paper/2411.14374"},"observation_digest":"sha256:1dfbe6676db2d26291ee9dc7fee97ea4808c8b73c0fb8bd2501e74c44123d5d9","observation_id":"8c1dbae9-b28c-49b0-933f-8af7e8f247c0","resolution":{"observed_at":"2026-08-12T15:19:34.288200Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14374","last_updated":"2024-11-21T18:09:04Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-19T01:37:49.117412Z","submitted_at":"2024-11-21T18:09:04Z","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":4,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":17,"verified_exact":12,"verified_fuzzy":1},"total_outbound_references":36},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2411.14374."}