Paper Citation Record · LEDGER

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!

As of 13 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2411.14375.

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

pith.paper-citation-record.v1
2411.14375 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

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

measured 28 of 28 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

28 of 28 outbound references displayed

verified exact5
verified fuzzy4
unresolved12
parse uncertain0
malformed identifier3
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 21b5cafd-39b3-4e1f-b800-85881f567066 · outbound

This paper cites arXiv preprint arXiv:2405.01440 , doi:10.48550/arXiv.2405.01440.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! arXiv preprint arXiv:2405.01440 , doi:10.48550/arXiv.2405.01440

Reference 1

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

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 29d3dcd8-fa86-4af6-9826-48e5f8e70a84 · outbound

This paper cites In: 2017 IEEE Intelligent Vehicles Symposium (IV) , IEEE, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: 2017 IEEE Intelligent Vehicles Symposium (IV) , IEEE, pp

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bab182bf-78e3-47be-a564-64700f9a8295 · outbound

This paper cites Information and Computation 261, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! Information and Computation 261, pp

Reference 3

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

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 3fa74fcf-6aab-4993-93a6-c6fcd1509ab5 · outbound

This paper cites https://www.bbc.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! https://www.bbc

Reference 4

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

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 a000c30d-5abe-488e-ac99-8a7995cfed11 · outbound

This paper cites In: Advanced Course on Petri Nets, Springer, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: Advanced Course on Petri Nets, Springer, pp

Reference 5

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cf3017d-a919-4dce-817b-4b4adddf5abe · outbound

This paper cites Formal Aspects of Computing 32(2), pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! Formal Aspects of Computing 32(2), pp

Reference 6

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

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 b152dfda-df5c-4db8-a7f1-dcfcec690ee8 · outbound

This paper cites In: International Conference on Computer Aided Verification, Springer, doi:10.1007/978-3-642-14295-6 31.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: International Conference on Computer Aided Verification, Springer, doi:10.1007/978-3-642-14295-6 31

Reference 7

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c0a7afd-b1a9-4d6b-b3b6-ec15f73dc4fb · outbound

This paper cites In: International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, doi:10.1007/BFb0055357.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, doi:10.1007/BFb0055357

Reference 8

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

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 c817cc6c-5008-49a6-bd8a-e8019bded5ed · outbound

This paper cites In: International Conference on Computer Aided Verification, Springer, doi:10.1007/978-3-642-22110-1 30.

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9d71088-a21b-4413-bd97-5a0ad3eb898a · outbound

This paper cites Annual Reviews in Control 57, p.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! Annual Reviews in Control 57, p

Reference 10

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf6b7b81-aec4-4ac4-8123-130b3dbc44a8 · outbound

This paper cites ACM Trans.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! ACM Trans

Reference 11

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

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 553d4eb8-00e9-45e0-bfd0-8358e32fc7a6 · outbound

This paper cites Science of Computer Programming 224, p.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! Science of Computer Programming 224, p

Reference 12

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe13f984-a241-42e7-9abc-a099aae97728 · outbound

This paper cites CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles

Reference 13

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

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 26724dd6-8389-4cd1-9939-0ba84bb8b36e · outbound

This paper cites 373–382, doi:10.1145/225058.225162.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! 373–382, doi:10.1145/225058.225162

Reference 14

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

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 a27f1b12-d63a-4100-a63e-91c71c47d1ab · outbound

This paper cites Journal of Artificial Intelligence Research 73, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! Journal of Artificial Intelligence Research 73, pp

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ca5a1fd-e667-4438-bfba-1031e0feb46f · outbound

This paper cites In: Eighth ACM/IEEE Interna- tional Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) , IEEE, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: Eighth ACM/IEEE Interna- tional Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) , IEEE, pp

Reference 16

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

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 eaf06e1f-b719-4f61-882c-863500234594 · outbound

This paper cites In: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, pp

Reference 17

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fa63e83-cc46-4ef2-b64c-f5bd52f55835 · outbound

This paper cites International journal on software tools for technology transfer 1, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! International journal on software tools for technology transfer 1, pp

Reference 18

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49cb704c-c0a2-4344-be2a-ec7c1a65af62 · outbound

This paper cites IEEE Transactions on Intelligent Vehicles, doi:10.1109/TIV .2023.3289580.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! IEEE Transactions on Intelligent Vehicles, doi:10.1109/TIV .2023.3289580

Reference 19

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d25942b6-3aef-4958-9458-03bf2ca09b1f · outbound

This paper cites In: The 18th International Symposium on Theoretical Aspects of Software Engineering, Springer, doi:10.1007/978-3-031- 64626-3 21.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: The 18th International Symposium on Theoretical Aspects of Software Engineering, Springer, doi:10.1007/978-3-031- 64626-3 21

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96ff8bdc-384c-4bd9-9a04-637340b98fb3 · outbound

This paper cites In: International Symposium on Theoretical Aspects of Software Engineering , Springer, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: International Symposium on Theoretical Aspects of Software Engineering , Springer, pp

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 171bfbc0-2898-4e16-a985-d69b6a4fdd60 · outbound

This paper cites In: 2019 IEEE Intelligent Vehicles Symposium (IV), IEEE, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: 2019 IEEE Intelligent Vehicles Symposium (IV), IEEE, pp

Reference 22

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8721bfc9-5ee5-4d64-8839-000b034edf8d · outbound

This paper cites https://www.washingtonpost.com/technology/2023/06/10/ tesla-autopilot-crashes-elon-musk/.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! https://www.washingtonpost.com/technology/2023/06/10/ tesla-autopilot-crashes-elon-musk/

Reference 23

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

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 9f2710a1-36b5-4d1b-a4cf-ed5d57007a3f · outbound

This paper cites https://www.es.mdh.se/dpac/.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! https://www.es.mdh.se/dpac/

Reference 24

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

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 34bfa269-1ff8-4592-8ce0-001083ca0719 · outbound

This paper cites https://www.mdu.se/en/malardalen-university/research/research-projects/ holistic-synthesis-and-verification-for-safe-and-secure-autonomous-vehicles?.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! https://www.mdu.se/en/malardalen-university/research/research-projects/ holistic-synthesis-and-verification-for-safe-and-secure-autonomous-vehicles?

Reference 25

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

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 3e4b0bb0-5251-4424-acce-79c4a4ac0d39 · outbound

This paper cites In: 2022 IEEE Intelligent Vehicles Symposium (IV), IEEE, pp.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! In: 2022 IEEE Intelligent Vehicles Symposium (IV), IEEE, pp

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af794fde-de4b-4057-98e4-5e93afa8261f · outbound

This paper cites Reinforcement Learning by Guided Safe Exploration.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! Reinforcement Learning by Guided Safe Exploration

Reference 27

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

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 62021c62-b238-4aaf-ab70-e2d7c581d7bd · outbound

This paper cites (2022): Finding critical sce- narios for automated driving systems: A systematic mapping study.

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! (2022): Finding critical sce- narios for automated driving systems: A systematic mapping study

Reference 28

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.