{"as_of":"2026-08-13T10:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4b3a27ed3a1a6c5a6f15c8773aed88501f701e7976765bd56ba1c82ec2d8282d","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:19:35.269446Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"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.14375/citation-record","integrity":"/paper/2411.14375/integrity","json":"/paper/2411.14375/citation-record.json","paper":"/paper/2411.14375"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48550/arxiv.2405.01440","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.653668Z","title":"arXiv preprint arXiv:2405.01440 , doi:10.48550/arXiv.2405.01440","venue":null,"work_id":"452ecfe1-6424-4ad8-b0bc-386d19834bc3","year":2024},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.082159Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:6f60e6d02f9672db96a71a9ac990d881a3b7470c889e44a5f5e6341826a76281","observation_id":"21b5cafd-39b3-4e1f-b800-85881f567066","resolution":{"observed_at":"2026-08-12T15:19:35.659868Z","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:35.090872Z","title":"In: 2017 IEEE Intelligent Vehicles Symposium (IV) , IEEE, pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.090872Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:e76ac7629920f1abfbd9edca938caf831a619eb653bb7274462ca2b71ce6bc6d","observation_id":"29d3dcd8-fa86-4af6-9826-48e5f8e70a84","resolution":{"observed_at":"2026-08-12T15:19:35.090872Z","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.1016/j.ic.2018.02.021","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.517372Z","title":"Information and Computation 261, pp","venue":null,"work_id":"63826f31-1108-4d04-95ee-496a129ae383","year":2018},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.097100Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:37598b36ba6529aa1d9d3ae343d330f6a395743d341990aa1542385cc21bfb42","observation_id":"bab182bf-78e3-47be-a564-64700f9a8295","resolution":{"observed_at":"2026-08-12T15:19:35.532813Z","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:36.949113Z","title":"https://www.bbc","venue":null,"work_id":"3ad79cce-6f34-4e75-a7b3-c2696b49063c","year":2020},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.103328Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:0dcbf90b2bf2f5ee614aea3e311228ecb01b8f06ac23fe3d6df635289733c1b0","observation_id":"3fa74fcf-6aab-4993-93a6-c6fcd1509ab5","resolution":{"observed_at":"2026-08-12T15:19:36.955790Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.108723Z","title":"In: Advanced Course on Petri Nets, Springer, pp","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.108723Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:13d34bd8956046dcf775e0e36e014eaca3df599fef43ff3b2a0f5f640531e8f9","observation_id":"a000c30d-5abe-488e-ac99-8a7995cfed11","resolution":{"observed_at":"2026-08-12T15:19:35.108723Z","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/s00165-020-00509-0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.478963Z","title":"Formal Aspects of Computing 32(2), pp","venue":null,"work_id":"9c2e1fd0-b25f-44f7-bf17-28bb45a7dd36","year":2020},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.115458Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:19b39990244d0c685add1385c32fb61150d9a1854f4ff3c29f97b272b9f9b23c","observation_id":"9cf3017d-a919-4dce-817b-4b4adddf5abe","resolution":{"observed_at":"2026-08-12T15:19:35.486206Z","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:35.123033Z","title":"In: International Conference on Computer Aided Verification, Springer, doi:10.1007/978-3-642-14295-6 31","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.123033Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:5fbbd4369dd6efe8835e4763242f6f80a79e0eaa4dae842e0b88a9788667aad2","observation_id":"b152dfda-df5c-4db8-a7f1-dcfcec690ee8","resolution":{"observed_at":"2026-08-12T15:19:35.123033Z","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/bfb0055357","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.442091Z","title":"In: International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, doi:10.1007/BFb0055357","venue":null,"work_id":"cfc00f18-138e-4d97-8647-0f36d4c742e0","year":1998},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.128920Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:4c4daea2411c31bde3cced74a70f855edb4ce4fc511f6b61094eef393eeb4a80","observation_id":"8c0a7afd-b1a9-4d6b-b3b6-ec15f73dc4fb","resolution":{"observed_at":"2026-08-12T15:19:35.447394Z","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:35.134938Z","title":"In: International Conference on Computer Aided Verification, Springer, doi:10.1007/978-3-642-22110-1 30","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.134938Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:3cb07f7f8f975e636ed1acab41353f61a2a1289a3db48eb8001a38ad0472385d","observation_id":"c817cc6c-5008-49a6-bd8a-e8019bded5ed","resolution":{"observed_at":"2026-08-12T15:19:35.134938Z","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:35.140869Z","title":"Annual Reviews in Control 57, p","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.140869Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:6b5ca6587bc3fdb7e74b8ecf7bab2ba6d3bee3ae99d6c9a5bff0e088803abbd1","observation_id":"a9d71088-a21b-4413-bd97-5a0ad3eb898a","resolution":{"observed_at":"2026-08-12T15:19:35.140869Z","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.1145/3672445","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.389772Z","title":"ACM Trans","venue":null,"work_id":"143d21f5-ffd7-41f6-b6d9-cc6c8c48b56c","year":2024},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.145925Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:8c2fd053f78239cfbf3694e6a06cd6f08fd20c98a87c72c31a9d1876ce0a74f9","observation_id":"cf6b7b81-aec4-4ac4-8123-130b3dbc44a8","resolution":{"observed_at":"2026-08-12T15:19:35.407258Z","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:35.155124Z","title":"Science of Computer Programming 224, p","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.155124Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:0bd223ea932c74ee0d2018f9d5e5b463464d75983cf59cd7c24662a33d05a001","observation_id":"553d4eb8-00e9-45e0-bfd0-8358e32fc7a6","resolution":{"observed_at":"2026-08-12T15:19:35.155124Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.01093","last_updated":"2024-08-02T08:12:04Z","snapshot_observed_at":"2026-08-12T23:09:45.334208Z","submitted_at":"2024-08-02T08:12:04Z","title":"CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles","version":1},"cited_work":{"arxiv_id":"2408.01093","doi":null,"metadata_source":"pith","pith_arxiv_id":"2408.01093","snapshot_observed_at":"2026-08-12T15:19:36.547868Z","title":"CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles","venue":"cs.MA","work_id":"d4e6280d-acd0-4c03-bd5a-6e8b3ab5491f","year":2024},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.161742Z"},"links":{"cited_paper":"/paper/2408.01093","citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:24b9f32fd44d9b2a347ffcf45b62887398d2879d4900c8e4dece94578467e235","observation_id":"fe13f984-a241-42e7-9abc-a099aae97728","resolution":{"observed_at":"2026-08-12T15:19:36.555174Z","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":"5058.22516","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:36.495629Z","title":"373–382, doi:10.1145/225058.225162","venue":null,"work_id":"29a635e0-6f53-4e2d-a283-04d559372a30","year":1995},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.169192Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:104b6b7b4b3bf17b598074809317e4fdac18432db9a3865886578a370dbe548a","observation_id":"26724dd6-8389-4cd1-9939-0ba84bb8b36e","resolution":{"observed_at":"2026-08-12T15:19:36.509838Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.175913Z","title":"Journal of Artificial Intelligence Research 73, pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.175913Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:4f643e287c5602866d247425db8634e7434eb319f3a9059edfe4480c1ca2f0e2","observation_id":"a27f1b12-d63a-4100-a63e-91c71c47d1ab","resolution":{"observed_at":"2026-08-12T15:19:35.175913Z","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":"2010.55586","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:36.380560Z","title":"In: Eighth ACM/IEEE Interna- tional Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) , IEEE, pp","venue":null,"work_id":"82bd401c-150d-4497-908c-9837b62f9dac","year":2010},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.184470Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:7c12a855f04192310cf5533d747d85afc13fe6c35bc57be93be76273fb099ffd","observation_id":"3ca5a1fd-e667-4438-bfba-1031e0feb46f","resolution":{"observed_at":"2026-08-12T15:19:36.391959Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.192155Z","title":"In: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.192155Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:d563586131abd5a273addc0c9154b4443d8751a8d7d105fb81b0b9d987561361","observation_id":"eaf06e1f-b719-4f61-882c-863500234594","resolution":{"observed_at":"2026-08-12T15:19:35.192155Z","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:35.198610Z","title":"International journal on software tools for technology transfer 1, pp","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.198610Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:bd16acd6f321de72cfe66ba80da0bcd8a6edd5b0d8fafdf6d58eae472c043916","observation_id":"4fa63e83-cc46-4ef2-b64c-f5bd52f55835","resolution":{"observed_at":"2026-08-12T15:19:35.198610Z","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:35.205776Z","title":"IEEE Transactions on Intelligent Vehicles, doi:10.1109/TIV .2023.3289580","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.205776Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:d6d3bf2c014c50ad81c60053d18826f6d39dcf98c1debb4f04df9b3bc09f89d8","observation_id":"49cb704c-c0a2-4344-be2a-ec7c1a65af62","resolution":{"observed_at":"2026-08-12T15:19:35.205776Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.213023Z","title":"In: The 18th International Symposium on Theoretical Aspects of Software Engineering, Springer, doi:10.1007/978-3-031- 64626-3 21","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.213023Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:eb5740b82c27d479058ae4cb94a954b10a16de70144a49b48f93a3029e1906c6","observation_id":"d25942b6-3aef-4958-9458-03bf2ca09b1f","resolution":{"observed_at":"2026-08-12T15:19:35.213023Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.218882Z","title":"In: International Symposium on Theoretical Aspects of Software Engineering , Springer, pp","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.218882Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:992f80d79933af7a13718a7ca8149511d353f1547f8b1f414182359d09a06dc7","observation_id":"96ff8bdc-384c-4bd9-9a04-637340b98fb3","resolution":{"observed_at":"2026-08-12T15:19:35.218882Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.224953Z","title":"In: 2019 IEEE Intelligent Vehicles Symposium (IV), IEEE, pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.224953Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:2b719b2400847acaaa420f9c9c25593417b4bca7277b9473b8ab34168e5832c4","observation_id":"171bfbc0-2898-4e16-a985-d69b6a4fdd60","resolution":{"observed_at":"2026-08-12T15:19:35.224953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:36.921091Z","title":"https://www.washingtonpost.com/technology/2023/06/10/ tesla-autopilot-crashes-elon-musk/","venue":null,"work_id":"69ceafbf-2a5b-48d3-930c-c6325f6098d9","year":2023},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.229977Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:7d08098c8c277985f76161356fde20702156cd70d93eaba1480e2ba402f805ef","observation_id":"8721bfc9-5ee5-4d64-8839-000b034edf8d","resolution":{"observed_at":"2026-08-12T15:19:36.928073Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:36.893563Z","title":"https://www.es.mdh.se/dpac/","venue":null,"work_id":"37603cf5-2be2-48e3-8753-ac8e6bbb77d0","year":2015},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.236363Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:47640fbd387add64d3fa8fc2da036324525aa6cb3c179a1445cf9dcb3f14ce5b","observation_id":"9f2710a1-36b5-4d1b-a4cf-ed5d57007a3f","resolution":{"observed_at":"2026-08-12T15:19:36.899483Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:36.873117Z","title":"https://www.mdu.se/en/malardalen-university/research/research-projects/ holistic-synthesis-and-verification-for-safe-and-secure-autonomous-vehicles?","venue":null,"work_id":"c7b1468a-94bf-4dd4-bd80-15a7d17cc969","year":2024},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.247438Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:20f3d27009babaeba70055a6f50bd6bacb3e1e1a2c2ba152f6f848cfb684e010","observation_id":"34bfa269-1ff8-4592-8ce0-001083ca0719","resolution":{"observed_at":"2026-08-12T15:19:36.879731Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.254828Z","title":"In: 2022 IEEE Intelligent Vehicles Symposium (IV), IEEE, pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.254828Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:44e54f3da8c3b21c317e70ce129e33d1148e33c596b33f1694b141176c77c652","observation_id":"3e4b0bb0-5251-4424-acce-79c4a4ac0d39","resolution":{"observed_at":"2026-08-12T15:19:35.254828Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.14316","last_updated":"2023-07-26T17:26:21Z","snapshot_observed_at":"2026-07-06T15:58:51.597795Z","submitted_at":"2023-07-26T17:26:21Z","title":"Reinforcement Learning by Guided Safe Exploration","version":1},"cited_work":{"arxiv_id":"2307.14316","doi":null,"metadata_source":"pith","pith_arxiv_id":"2307.14316","snapshot_observed_at":"2026-08-12T15:19:35.806647Z","title":"Reinforcement Learning by Guided Safe Exploration","venue":"cs.LG","work_id":"1b3b4075-20d6-4e21-9199-0bee6d294c65","year":2023},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.262784Z"},"links":{"cited_paper":"/paper/2307.14316","citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:1cf063fa4f80699f5b53f5964272b6b4efad1493afbc1cbc8e22f12f8b23a74a","observation_id":"af794fde-de4b-4057-98e4-5e93afa8261f","resolution":{"observed_at":"2026-08-12T15:19:35.813934Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:35.269446Z","title":"(2022): Finding critical sce- narios for automated driving systems: A systematic mapping study","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:35.269446Z"},"links":{"citing_paper":"/paper/2411.14375"},"observation_digest":"sha256:b27dd773cff7cbf92235227689cbb2a00647819395d20ef9704efe6ed2087879","observation_id":"62021c62-b238-4aaf-ab70-e2d7c581d7bd","resolution":{"observed_at":"2026-08-12T15:19:35.269446Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.14375","last_updated":"2024-11-21T18:09:20Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-12T15:12:29.044267Z","submitted_at":"2024-11-21T18:09:20Z","title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":3,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":12,"verified_exact":5,"verified_fuzzy":4},"total_outbound_references":28},"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 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2411.14375."}