{"as_of":"2026-08-13T11:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dc01ea4e89bfaea3f4b7319615c8e760bea26379633ec992fac5abb664cbf728","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-13T06:32:02.005865+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-12T15:12:44.560017Z","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:abb957aee171195b95186ade95c72dd4f09645e4a1573910d8a0744537930fea","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-12T15:12:44.560017Z","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:2278c1326623a183e8887f3abbd86ebd5ee8205657e5b0124344029ba3102f74","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-12T15:12:44.560017Z","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:64f7b16cebb393909c5ab0671afc74dac99bb6f1cac80ac58aa66f58e097c7ef","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:2521421f10d65139a285bc12e17bebc86a317d346d57b970099091cb941d314e","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:3d00475b2c0fe1eef5c474f5c8d23eaa3ecffd9e00dc564cf1c7e3555b991665","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:b965556d6be10ccd92986ccdf9ae21bb916b6ce815b52c188e193d7d8a13e1dc","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:b94dd2ad1a15e46d2e7e60c9c2aa06732a07b08bc45c6cbbb9b7154bc5ba79a5","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-03T16:54:06.158198Z","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-12T15:12:44.560017Z","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:34ed266a7894222a680fce491bf023657b7f97eeaeb5d188bf2f2f6061afb616","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-12T15:12:44.560017Z","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:2a8aa8b4bc72505c1127e9a48943f3cd303360939d1bf850deb2a1f0b6343e59","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-12T15:12:44.560017Z","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:d73daad1fafaa20d271da077d2131c9cfdbba56a9f6cd11561f2bf720f4eb3e2","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:e769c4bb6dadd00c7c3e86875d43187c9f4402ae09e3781c771f8166da7ab2e2","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-12T15:12:44.560017Z","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:17e7d03476cb965c2b5fd625a59f02ccb4b9aa20e6223595f67d98fa7c4f0129","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-12T15:12:44.560017Z","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:4f117b71b28f37533949bd824995296919a7fc7876e5c1a920a9e9b793f5da44","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:3c5199c42b074a9cea85bfbc2f0a2b41da9196fc147a48caa72288a607027485","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-12T15:12:44.560017Z","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:6f79bae94ac53f0d3e6062843b5e56593200e722b0d1c39e6917c2eaecdf01cb","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:a734d1f12adf5a4eb55a80f30dec1b7be2b717e6561812987d723168a3d3ddbd","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-12T15:12:44.560017Z","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:bd93ff6ab778e312e1a67c5a53ac799c273ed0fad6138f799aa614eddee7c35a","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-07-06T10:59:08.037686Z","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-12T15:12:44.560017Z","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:55316934ef63787524fb10d7aad271f8c2b423d4577582a18d79937edcd6a689","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:5877ee3b963e832e784b5c81d7ebb9fac9583857302dae1cd1d5d2a2fe21e96a","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:e79b2bb454eb828f91356635d09b307d64714265f463b60c19a8b6884a58d499","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-12T15:12:44.560017Z","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:9fc6eed772f61623a6e6b348e559546564f1bdcf228d118450cc8ff10d969aa6","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:4e9c7d633db3bfed8b52bcc6530782d0d662e804d356b2da8e7ae42e7f396574","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-12T15:12:44.560017Z","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:f517f997a7851eaeb79a91e12ae88ffc9f505f5ce2374f373cd13d4c2852aba1","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-12T15:12:44.560017Z","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:f3cf5711173efac62ea78121e58521e6cfee9a7d2f371307cc8eac287b940375","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:ff5a8931fadb35e2f02c096eb571f29ac021124ce53394b05ebc3ee16d8bb455","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:08f316eff2c4e65beb530750d36fbc66383c8b6fdaaaee3ac2a7cbb91cfde3c0","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-12T15:12:44.560017Z","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:47d71b7290c5280e4271bde86da4ce4846f40915b94aade68db719d90d16594f","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:ea1bc649e4238425ce59d52f7a588dfc31a8283f00eef2d0164815e476a3c928","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-12T15:12:44.560017Z","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:9a41f60270426eac0d15217b76bccc75359f8d8268038732008125cc184c3bb8","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:64db287d565bbe1a3ea906f6b7f329eb65dc79f80fcb6e1c3fb005b1e9238d30","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:af108b21ba2e2924044c87a4c5310f047bc5a96cec87f93d209ffe40bc726d2b","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-12T15:12:44.560017Z","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:eb18016c9910211be3828ce94fae4977d49ed287f17944401bcb600c2c7636e4","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-12T15:12:44.560017Z","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:ee6781d937197cba3e0c7eff8f051e1602710f9bc9c65de46649b3f740cc1c41","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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:f226fd3bbe9036c3e3ff666cb2b7f813224e15788a2ea9bd3d85bd94b9258ab6","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-12T15:12:44.560017Z","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:ecae85afc6d2130d5337fee1021a6650f9fc4db1ea11ecfe82a10daa75274ab6","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-12T15:12:44.560017Z","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:c907478c7a7ec612a40f0f614cdd99f815fa75ab919c6f956af882c6614bf2e8","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:12:44.560017Z","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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2411.14374."}