Paper Citation Record · LEDGER

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving

As of 17 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2606.02641.

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

pith.paper-citation-record.v1
2606.02641 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-28T17:10:33.976202Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

38 of 38 outbound references displayed

verified exact1
verified fuzzy0
unresolved35
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 834ad210-a5b1-4f5d-af76-a3dc5b59b586 · outbound

This paper cites INTERACTION Dataset: An INTERnational, Adversarial and Cooperative moTION Dataset in Interactive Driving Scenarios with Semantic Maps.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving INTERACTION Dataset: An INTERnational, Adversarial and Cooperative moTION Dataset in Interactive Driving Scenarios with Semantic Maps

Reference 1

Resolution: metadata mismatch; arxiv_id, observed 2026-06-28T17:12:24.497415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 854208c5-4164-498c-93bb-bb4aa2e8c6cd · outbound

This paper cites 2018 IEEE 21st International Conference on Intelligent Transportation Systems (ITSC) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving 2018 IEEE 21st International Conference on Intelligent Transportation Systems (ITSC) , pages=

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 637ff2be-1f42-4337-a0eb-3de8506dea64 · outbound

This paper cites On a Formal Model of Safe and Scalable Self-driving Cars.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving On a Formal Model of Safe and Scalable Self-driving Cars

Reference 3

Resolution: metadata mismatch; local_arxiv, observed 2026-06-28T17:12:24.493839Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 49b133f6-e1e0-4c3a-8ec3-ef4b411e3574 · outbound

This paper cites 2019 International Conference on Robotics and Automation (ICRA) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving 2019 International Conference on Robotics and Automation (ICRA) , pages=

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8b36d58-a7ba-4c96-b5c6-1389cba91299 · outbound

This paper cites arXiv preprint arXiv:2412.15837 , year=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving arXiv preprint arXiv:2412.15837 , year=

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-06-28T17:12:24.500434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8199b03f-ab9c-4a51-adb1-fda93359ff2c · outbound

This paper cites 2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving 2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC) , pages=

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb1ea808-8656-4fcd-beb7-83864ffb5b52 · outbound

This paper cites IEEE Transactions on Intelligent Vehicles , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving IEEE Transactions on Intelligent Vehicles , volume=

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ad749e5-50a2-4e3c-83ac-00a9732ddc49 · outbound

This paper cites 2017 IEEE Intelligent Vehicles Symposium (IV) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving 2017 IEEE Intelligent Vehicles Symposium (IV) , pages=

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 866b6628-97f4-4366-82d9-ede0ae898f62 · outbound

This paper cites 2018 IEEE 21st International Conference on Intelligent Transportation Systems (ITSC) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving 2018 IEEE 21st International Conference on Intelligent Transportation Systems (ITSC) , pages=

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7951ff8d-b324-4327-841f-f3e0dfa11950 · outbound

This paper cites 2020 IEEE Intelligent Vehicles Symposium (IV) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving 2020 IEEE Intelligent Vehicles Symposium (IV) , pages=

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d6ef0ca-4a74-405e-b570-60de4c5d0941 · outbound

This paper cites Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , pages=

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22b655cc-4e26-43c8-8a44-2be2ef16ec9a · outbound

This paper cites Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , pages=

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7c269bd-06d2-4ddc-aa15-7f4ff4bd61ed · outbound

This paper cites Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , pages=

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc088445-960b-43ab-a952-5cc18d21f858 · outbound

This paper cites Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) , pages=

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a87dca45-94e2-4491-8605-f8795b2ba68c · outbound

This paper cites Robotics: Science and Systems (RSS) , year=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Robotics: Science and Systems (RSS) , year=

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46dfe480-a9d7-48ec-b7e6-56fcfc3e8385 · outbound

This paper cites 2019 International Conference on Robotics and Automation (ICRA) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving 2019 International Conference on Robotics and Automation (ICRA) , pages=

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4551b4ea-f158-4071-a199-f7243b2b415f · outbound

This paper cites Proceedings of the National Academy of Sciences , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the National Academy of Sciences , volume=

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fad090fd-7094-4228-9311-b591a7166149 · outbound

This paper cites 2020 IEEE International Conference on Robotics and Automation (ICRA) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving 2020 IEEE International Conference on Robotics and Automation (ICRA) , pages=

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7514abc6-f7a7-4537-8804-dcd2fa36019a · outbound

This paper cites IEEE Transactions on Intelligent Vehicles , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving IEEE Transactions on Intelligent Vehicles , volume=

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0599e74f-fc84-4aa1-98b0-93177aab166a · outbound

This paper cites Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR) , pages=

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 503f3cbf-ea1c-40a2-b037-cd9b2c2e7c4e · outbound

This paper cites Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) , pages=

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e963fec5-3bda-4754-ac98-d0c7fa8eba36 · outbound

This paper cites Computer Vision -- ECCV 2020 , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Computer Vision -- ECCV 2020 , pages=

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 669aec22-0337-46b7-8d69-c62730f80a59 · outbound

This paper cites Proceedings of the Conference on Robot Learning (CoRL) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the Conference on Robot Learning (CoRL) , pages=

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93a58ef9-07b2-4e0a-8082-212c7ebbb1b2 · outbound

This paper cites Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) , pages=

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffe7dcc3-7d87-4021-8dec-fd75e802af1a · outbound

This paper cites Accident Analysis and Prevention , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Accident Analysis and Prevention , volume=

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6a2a2a2-4814-4a74-ade0-8335a45f6e6c · outbound

This paper cites Physical Review E , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Physical Review E , volume=

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79ede1c8-d3e4-4a5b-b01c-611607a24281 · outbound

This paper cites Philosophical Transactions of the Royal Society A , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Philosophical Transactions of the Royal Society A , volume=

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98207664-e6fd-4a9a-b496-97b410696f7c · outbound

This paper cites IEEE Transactions on Automatic Control , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving IEEE Transactions on Automatic Control , volume=

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 663bcb95-6918-43f5-b15d-c6e5f65ae785 · outbound

This paper cites Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC) , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC) , pages=

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b40ab9fb-9ced-4f04-b5d8-7ada8889ea13 · outbound

This paper cites IEEE Transactions on Robotics , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving IEEE Transactions on Robotics , volume=

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4e05a3b-68e3-4ccc-ac14-24caf160b8f3 · outbound

This paper cites IEEE Intelligent Transportation Systems Magazine , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving IEEE Intelligent Transportation Systems Magazine , volume=

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28677ada-1998-4593-8e48-3645e84f4bda · outbound

This paper cites IEEE Transactions on Automatic Control , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving IEEE Transactions on Automatic Control , volume=

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cab3a136-88f4-40d2-a19c-e31d9840936a · outbound

This paper cites Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence , pages=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence , pages=

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b2b6879-1260-4453-b04e-ad9bc6ca223b · outbound

This paper cites Proceedings of the Fortieth AAAI Conference on Artificial Intelligence , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the Fortieth AAAI Conference on Artificial Intelligence , volume=

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98d0fbd6-4730-4a44-9858-16639de9fc0f · outbound

This paper cites Proceedings of the Fortieth AAAI Conference on Artificial Intelligence , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the Fortieth AAAI Conference on Artificial Intelligence , volume=

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f25ffd51-9270-4a81-a8a7-b658b69be611 · outbound

This paper cites Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence , volume=

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c279402-4399-457e-ae1a-1f28bc20050e · outbound

This paper cites Operations Research , volume=.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Operations Research , volume=

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 612e186a-fc41-428b-83aa-3163d67f6492 · outbound

This paper cites an unresolved cited work.

CARVE: Certified Affordable Repair of Vetoed Maneuvers via Envelopes for Interactive Driving Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-28T17:10:33.976202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.