Paper Citation Record · LEDGER

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2411.14374 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:19:34.243943Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

36 of 36 outbound references displayed

verified exact12
verified fuzzy1
unresolved17
parse uncertain0
malformed identifier4
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9ab9c4e0-0c2c-49f3-99e0-ef110e920f9f · outbound

This paper cites Hoare (2005): The B-Book: Assigning Programs to Meanings.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Hoare (2005): The B-Book: Assigning Programs to Meanings

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.027028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 751eb332-ba07-4423-95cf-a0ace627db80 · outbound

This paper cites In: Proceedings FMICS, LNCS 12863, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings FMICS, LNCS 12863, Springer, pp

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.032829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae5fc094-6bd9-4129-9e88-d650b26d65fd · outbound

This paper cites an unresolved cited work.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Unresolved cited work

Reference 3

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.819540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation fe89e020-742b-44eb-8fa2-30212c6a5115 · outbound

This paper cites Technical Report EN50128, European Standard.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Technical Report EN50128, European Standard

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:35.277622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d40a9269-aae3-4e08-a96a-438a519fec2d · outbound

This paper cites In: Proceedings RSSRail, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings RSSRail, pp

Reference 5

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.799551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a9e54288-06b1-414b-914b-f7af518cb09b · outbound

This paper cites In: Proceedings RSSRail, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings RSSRail, pp

Reference 6

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.780174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 99c012cc-6970-4ec0-8fb4-3f23e7340f75 · outbound

This paper cites L’expérience de Siemens Transportation Systems.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems L’expérience de Siemens Transportation Systems

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.761654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 327eab4a-c810-4bfa-a517-593d91ff41c1 · outbound

This paper cites CARLA: An Open Urban Driving Simulator.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems CARLA: An Open Urban Driving Simulator

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.067409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cee75873-5312-4474-ad25-596406ca8933 · outbound

This paper cites IEEE Transactions on Intelligent Transportation Systems 24(12), pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems IEEE Transactions on Intelligent Transportation Systems 24(12), pp

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.073184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4438e280-904c-4f0a-9dde-9b3436a1f886 · outbound

This paper cites In: Proceedings B (B2007), LNCS 4355, Springer, Besancon, France, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings B (B2007), LNCS 4355, Springer, Besancon, France, pp

Reference 10

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.719977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3b9c2434-6654-46d2-b73c-c4b2ba41a9e9 · outbound

This paper cites In: 2018 IEEE symposium on security and privacy (SP), IEEE, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: 2018 IEEE symposium on security and privacy (SP), IEEE, pp

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.084004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 563376ce-32aa-444a-b4cb-ad72dbe0a658 · outbound

This paper cites P˘as˘areanu & Clark Barrett (2018):DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems P˘as˘areanu & Clark Barrett (2018):DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.088895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d270b98a-d1fe-4b82-8f17-c9ebb25b2e13 · outbound

This paper cites In: Proceedings RSSRail, LNCS 14198, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings RSSRail, LNCS 14198, Springer, pp

Reference 14

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.670504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f350d880-2073-4b46-87b7-cd4916bf5d1d · outbound

This paper cites In: Proceedings ICECCS 2024, LNCS 14784, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings ICECCS 2024, LNCS 14784, Springer, pp

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.108726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e65ab96a-5917-4dd0-82b7-820c4e7db8aa · outbound

This paper cites an unresolved cited work.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Unresolved cited work

Reference 16

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T15:19:34.637980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 634269f1-c095-4e93-96b1-7c68e5b4367f · outbound

This paper cites STTT 24(4), pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems STTT 24(4), pp

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.124696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40e6fc1f-806f-463f-9232-0aa2b066ba6c · outbound

This paper cites In: Proceedings CA V, LNCS 10426, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings CA V, LNCS 10426, Springer, pp

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.130656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13b609f1-e0b4-4a29-b7e2-91a1d8146c2e · outbound

This paper cites Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles

Reference 19

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T15:19:34.581811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 06c05bd1-1478-4017-9d68-2944e0a39b94 · outbound

This paper cites P ˘as˘areanu & Huafeng Yu (2022): Case Study: Analysis of Autonomous Center Line Tracking Neural Networks.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems P ˘as˘areanu & Huafeng Yu (2022): Case Study: Analysis of Autonomous Center Line Tracking Neural Networks

Reference 20

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.552025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8f9263f6-d62a-4b20-a0a9-8af39ba67e93 · outbound

This paper cites In: Proceedings CA V, LNCS 10426, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings CA V, LNCS 10426, Springer, pp

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.147631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1209f3f0-4881-444c-a361-7c4b08de32e5 · outbound

This paper cites In: Proceedings CA V, LNCS 6806, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings CA V, LNCS 6806, Springer, pp

Reference 22

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T15:19:34.512466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 56a8a832-d7cf-4fe3-a197-1c8d5d198e96 · outbound

This paper cites STTT 10(2), pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems STTT 10(2), pp

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.160115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec274d2e-900e-4ac8-8c5f-76833fb09d8b · outbound

This paper cites In: Proceedings RSSRail , LNCS 14198, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings RSSRail , LNCS 14198, Springer, pp

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:19:34.165250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41d37d13-41d8-406e-8e34-8243001250f4 · outbound

This paper cites Nurminen (2021): Sys- tematic literature review of validation methods for AI systems.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Nurminen (2021): Sys- tematic literature review of validation methods for AI systems

Reference 25

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T15:19:35.070324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d3dfe087-e57c-4a81-9b1c-ec4a1288859a · outbound

This paper cites Springer Science & Business Media, doi:10.1007/978-4-431-53856-1.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Springer Science & Business Media, doi:10.1007/978-4-431-53856-1

Reference 26

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.469052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 65e01f76-0d0a-4d93-a1ef-7dcb1b9ce07a · outbound

This paper cites 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.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems 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

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.183015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53c4f53c-9427-4e67-a118-017d6a2b0d22 · outbound

This paper cites In: Proceedings ISoLA, LNCS 13704, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings ISoLA, LNCS 13704, Springer, pp

Reference 28

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T15:19:34.434965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 67ef5a1d-5b3d-4c2b-982f-29414f0826ad · outbound

This paper cites Girshick & Ali Farhadi (2016): You Only Look Once: Uni- fied, Real-Time Object Detection.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Girshick & Ali Farhadi (2016): You Only Look Once: Uni- fied, Real-Time Object Detection

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.194167Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d53e175-e531-4b0b-b07c-98f6b5d22f72 · outbound

This paper cites In: Proceedings KI 2024 , LNAI 14992, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings KI 2024 , LNAI 14992, Springer, pp

Reference 30

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.402989Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 78d3b169-d3ab-4823-b828-d88c7b1ffcc6 · outbound

This paper cites EPTCS 395, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems EPTCS 395, pp

Reference 31

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.384001Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4d94d62b-77b9-41b1-97f2-0a93c8d0ff6c · outbound

This paper cites In: Proceedings IJCAI, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings IJCAI, pp

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.210508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9a69eeb-66a2-454c-9013-440a6e7752e3 · outbound

This paper cites Scalability in Perception for Autonomous Driving: Waymo Open Dataset.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Scalability in Perception for Autonomous Driving: Waymo Open Dataset

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.217184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e9060f8-4c82-4361-bf05-774bba5b6f22 · outbound

This paper cites In: NASA Formal Methods Symposium , LNCS 14627, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: NASA Formal Methods Symposium , LNCS 14627, Springer, pp

Reference 34

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.332764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c4d2033c-31b8-48a5-9c18-fafbe2352e1b · outbound

This paper cites In: Proceedings ABZ, LNCS 12709, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings ABZ, LNCS 12709, Springer, pp

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.233733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 991c010a-a717-4289-943c-02d698153c9b · outbound

This paper cites In: Proceedings ABZ, LNCS 12071, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings ABZ, LNCS 12071, Springer, pp

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:34.238594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c1dbae9-b28c-49b0-933f-8af7e8f247c0 · outbound

This paper cites In: Proceedings RSSRail, LNCS 14198, Springer, pp.

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems In: Proceedings RSSRail, LNCS 14198, Springer, pp

Reference 37

Resolution: verified exact; doi, observed 2026-08-12T15:19:34.288200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

No inbound Pith citation observations are available.