Pith. sign in

Paper Citation Record · LEDGER

Verification of Visual Controllers via Compositional Geometric Transformations

As of 10 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2507.04523.

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

pith.paper-citation-record.v1
2507.04523 v1

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T19:50:43.347369Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

47 of 47 outbound references displayed

  • verified exact5
  • verified fuzzy34
  • unresolved8
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 51befdcb-bbf6-431d-a31a-eef17a8e306c · outbound

This paper cites Efficient neural network robustness certification with general activa- tion functions,.

Verification of Visual Controllers via Compositional Geometric Transformations Efficient neural network robustness certification with general activa- tion functions,

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.748504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.203431Z digest=sha256:22dbe4bed2928d5f43aab5724e9cde6d8bb6eab04188703087caf3a6970c0a6a

Observation 87bbac25-095c-4fdf-9833-138a5130e5f9 · outbound

This paper cites Towards fast computation of certified robustness for relu networks,.

Verification of Visual Controllers via Compositional Geometric Transformations Towards fast computation of certified robustness for relu networks,

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.740718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.206860Z digest=sha256:fc44686928c40283771d5a8e18912c8ec3da35285df3ce7f547801da5409ec08

Observation e0112b3d-bbe9-43ef-8b91-38bef98d7c03 · outbound

This paper cites Automatic perturbation analy- sis for scalable certified robustness and beyond,.

Verification of Visual Controllers via Compositional Geometric Transformations Automatic perturbation analy- sis for scalable certified robustness and beyond,

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.732812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.210307Z digest=sha256:ae25e0c927a3bab8c9ac32f7af822115f69a230d3d29e4231b223abdc5e56127

Observation 605dfba0-b853-4132-b4f6-237d6fcb62cc · outbound

This paper cites Semidefinite relax- ations for certifying robustness to adversarial examples,.

Verification of Visual Controllers via Compositional Geometric Transformations Semidefinite relax- ations for certifying robustness to adversarial examples,

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.725370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.212990Z digest=sha256:57b18848102b7259d90f9f38164c7fd7645f7fb91df4b89855939a684701873c

Observation a253235f-ef5a-4140-8256-b942710d8712 · outbound

This paper cites Evaluating robustness of neural networks with mixed integer programming,.

Verification of Visual Controllers via Compositional Geometric Transformations Evaluating robustness of neural networks with mixed integer programming,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.717660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.215947Z digest=sha256:a24eef46f9590ea22aadedc969a431743d919f6b88c9d0707d4e6d7208ba263b

Observation aa0dcd4f-3710-4706-8162-48e496c3c382 · outbound

This paper cites The marabou framework for verification and analysis of deep neural networks,.

Verification of Visual Controllers via Compositional Geometric Transformations The marabou framework for verification and analysis of deep neural networks,

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.710250Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.219169Z digest=sha256:b6b74e24291ad0e51e4129f2a6a237bb14d32f31a7ee4a8db7f1d8a0a9383c1a

Observation 9fdcef05-8f6f-4c2b-bf7b-2f14f4f15cb3 · outbound

This paper cites Re- luplex: An efficient SMT solver for verifying deep neural networks,.

Verification of Visual Controllers via Compositional Geometric Transformations Re- luplex: An efficient SMT solver for verifying deep neural networks,

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.702797Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.222827Z digest=sha256:948f70a1731f819f811cdb5322f8614b5e76579cee88acc3ff94797b4ed2b6e8

Observation 1123e30a-a558-4091-8846-82dcb0ce0ee5 · outbound

This paper cites Verifying low-dimensional input neural networks via input quantization,.

Verification of Visual Controllers via Compositional Geometric Transformations Verifying low-dimensional input neural networks via input quantization,

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.695131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.225193Z digest=sha256:77cca8e70c1989784cc01917357acca53f82ee42f421a6d1b6435c05dbcc0769

Observation c94b94b2-f74b-44fe-ac3e-59c332ce4099 · outbound

This paper cites Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,.

Verification of Visual Controllers via Compositional Geometric Transformations Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.687466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.228011Z digest=sha256:88db4852700a39b0803a2ad9f814c66e8bd3ea76317d99cff051d79943ee3af2

Observation 8d675292-a289-41fc-8fdd-25470d8f36ea · outbound

This paper cites An abstract domain for certifying neural networks,.

Verification of Visual Controllers via Compositional Geometric Transformations An abstract domain for certifying neural networks,

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-06T19:50:43.230757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T19:50:43.230757Z digest=sha256:bafe6ae612f778bd49fef9883962834f0fe8f231b3b2109fd3741a885a81627e

Observation 94264b37-1387-4caf-81b8-ac643b2aace1 · outbound

This paper cites On the effectiveness of interval bound propagation for training verifiably robust models,.

Verification of Visual Controllers via Compositional Geometric Transformations On the effectiveness of interval bound propagation for training verifiably robust models,

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.675187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.234202Z digest=sha256:e52d3cedff3d26af5730d2873f3daf3eb097aaaeb0ccec939ccaa1131feb66d2

Observation c2699b50-fc78-48a6-be01-7d936fd63261 · outbound

This paper cites Certi- fying geometric robustness of neural networks,.

Verification of Visual Controllers via Compositional Geometric Transformations Certi- fying geometric robustness of neural networks,

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.667020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.239759Z digest=sha256:0cd683041dc1b191441311b05093bcd648b012bae04a6f87b9c0185d836ea24b

Observation 8a585cb5-a747-4807-9236-4a45ba8091fc · outbound

This paper cites Towards verifying robustness of neural networks against a family of semantic perturbations,.

Verification of Visual Controllers via Compositional Geometric Transformations Towards verifying robustness of neural networks against a family of semantic perturbations,

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.658391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.242943Z digest=sha256:a040ac16c1702dd8ac0c48e3df7b5d89e185d86eab984b37990caa9526fcb630

Observation bd58e50c-8529-43af-af1e-654449d522bf · outbound

This paper cites Tss: Transformation-specific smoothing for robustness certification,.

Verification of Visual Controllers via Compositional Geometric Transformations Tss: Transformation-specific smoothing for robustness certification,

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.650288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.245678Z digest=sha256:c287afbb8be2353810a5a6026eb90d0c790f4e2f089a0ab492d41688af1c18f4

Observation 5c8cd7c7-7aa0-46bd-840f-178caf1b8470 · outbound

This paper cites Ver- ification of image-based neural network controllers using generative models,.

Verification of Visual Controllers via Compositional Geometric Transformations Ver- ification of image-based neural network controllers using generative models,

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-06T19:50:43.248209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T19:50:43.248209Z digest=sha256:0aa3363760767b11ef061e0ed393abb7dd7f1c089c0fc0c11b5559cf34d12ac0

Observation e8285409-e41f-4acf-8bb8-09bf736323e1 · outbound

This paper cites Scalable and interpretable verifica- tion of image-based neural network controllers for autonomous vehi- cles,.

Verification of Visual Controllers via Compositional Geometric Transformations Scalable and interpretable verifica- tion of image-based neural network controllers for autonomous vehi- cles,

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.636228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.250651Z digest=sha256:d4e8f7ce6d176fa26867d224cbfddd74495c24e6125600a2df16678a6563cb1f

Observation 2e03d769-efda-4b08-b80b-0b94684846bd · outbound

This paper cites Bunel, J.

Verification of Visual Controllers via Compositional Geometric Transformations Bunel, J

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.627032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.253522Z digest=sha256:406faa00a47fd1be880ee202ed1b38bcc1e69e4da21deeada317ec3bccc17eec

Observation 01231d70-0e91-43c0-8d9f-0fa3f3449c72 · outbound

This paper cites an unresolved cited work.

Verification of Visual Controllers via Compositional Geometric Transformations Unresolved cited work

Reference 18

Resolution
unresolved
raw_fallback, observed 2026-08-06T19:50:43.617798Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.256300Z digest=sha256:1ced7fd649903104a7b3efc33afa28b75081b3b9fad50fdbab2c5b1b61e6b728

Observation d5faa734-ec1c-442f-bab0-215f34a31417 · outbound

This paper cites Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,.

Verification of Visual Controllers via Compositional Geometric Transformations Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.608768Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.258890Z digest=sha256:c663ba0b18ca1276f9fc8e293dccd3ee266dd2134304edcb01729d96298b3993

Observation a943515d-dad9-4dc7-b2bb-c56af9137ad1 · outbound

This paper cites One-shot reachability anal- ysis of neural network dynamical systems,.

Verification of Visual Controllers via Compositional Geometric Transformations One-shot reachability anal- ysis of neural network dynamical systems,

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.601461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.262147Z digest=sha256:f8ab60fedd51e300f756730dfef8b577b673efe9e1d013b33213e7a799b5a1f6

Observation 91a2043b-e42b-4739-bd3e-4e0506bbac9a · outbound

This paper cites Reachability analysis of neural feedback loops,.

Verification of Visual Controllers via Compositional Geometric Transformations Reachability analysis of neural feedback loops,

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-06T19:50:43.266025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T19:50:43.266025Z digest=sha256:d2692949743abd78cffad7d1c75cf941de2a70225d995fbba429725682e892a9

Observation 28aa688c-bbbc-44de-b122-e253a7056bba · outbound

This paper cites A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers.

Verification of Visual Controllers via Compositional Geometric Transformations A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers

Reference 22

Resolution
verified exact
local_arxiv, observed 2026-08-06T19:50:43.449027Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.269398Z digest=sha256:34b16331fdc9f50a1b24cf67d12435a7b2ec09b258bdfbbc4b0498c9cd092cfb

Observation 511803fb-54f8-42da-b815-c75093abe669 · outbound

This paper cites Reach-SDP: Reachability analysis of closed-loop systems with neural network controllers via semidefinite programming,.

Verification of Visual Controllers via Compositional Geometric Transformations Reach-SDP: Reachability analysis of closed-loop systems with neural network controllers via semidefinite programming,

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.589861Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.273003Z digest=sha256:578ea692cd011bf7ba9722aaeb62286890793c0a877eeef9ac1ab789ee61fbb4

Observation ac4bdcae-671d-4eb6-b5aa-e5fe51c035d7 · outbound

This paper cites Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems,.

Verification of Visual Controllers via Compositional Geometric Transformations Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems,

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.582751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.276952Z digest=sha256:a61f59e7244aa677d4bb2cbe9b7103e3dac974bb85c23903a2fff6387cea4cac

Observation cc247a7e-d87f-43bd-a3c6-3f58b7369937 · outbound

This paper cites Verisig: verifying safety properties of hybrid systems with neural network con- trollers,.

Verification of Visual Controllers via Compositional Geometric Transformations Verisig: verifying safety properties of hybrid systems with neural network con- trollers,

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.576023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.280053Z digest=sha256:97c40c6b1c3d2fa03c7e7564125b811ef70e1d9ce3fbf28aadb777a39f030631

Observation 30422cbf-e5f4-4c86-89a9-f0299f0c97ab · outbound

This paper cites Reachability analysis for neural feedback systems using regressive polynomial rule inference,.

Verification of Visual Controllers via Compositional Geometric Transformations Reachability analysis for neural feedback systems using regressive polynomial rule inference,

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.569508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.283319Z digest=sha256:5acf72a8c4e01c2816fb60584252595b85472670d8771a0d632a5e0daf6c1f9f

Observation 7b4e386b-b729-4037-8042-18b27f51215f · outbound

This paper cites Reachnn: Reachability analysis of neural-network controlled systems,.

Verification of Visual Controllers via Compositional Geometric Transformations Reachnn: Reachability analysis of neural-network controlled systems,

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.562857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.285804Z digest=sha256:c2db183548b10b6ebab91b9dc896681af68dae61f437d869978d2ef167e96e1c

Observation 9629dbea-7d10-4cc6-8597-b202a0cb77a7 · outbound

This paper cites Reachnn*: A tool for reachability analysis of neural-network controlled systems,.

Verification of Visual Controllers via Compositional Geometric Transformations Reachnn*: A tool for reachability analysis of neural-network controlled systems,

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.555049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.289083Z digest=sha256:7976338e2ffede488d44ba0a064030fb3fe69f5b8ba9294e1a62dc6793918a05

Observation ef099629-a054-4a79-903b-2d1b0dfb4371 · outbound

This paper cites Reachable set estimation for neural network control systems: A simulation-guided approach,.

Verification of Visual Controllers via Compositional Geometric Transformations Reachable set estimation for neural network control systems: A simulation-guided approach,

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.547017Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.291593Z digest=sha256:410865fc29938e4a9c2eb3af478eeb9065862b9b91967f6cf89542207da39797

Observation a697411c-bef1-428e-9e1a-dcd95ba03f8e · outbound

This paper cites Neural network compression of ACAS Xu early prototype is unsafe: Closed-loop verification through quantized state backreachability,.

Verification of Visual Controllers via Compositional Geometric Transformations Neural network compression of ACAS Xu early prototype is unsafe: Closed-loop verification through quantized state backreachability,

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.539039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.295037Z digest=sha256:e9a04db73c86e777bece02ccd40fd7924ad43b6278d2a959175b94f44068ef51

Observation 82030749-3dd0-4807-b089-8679cc4eb362 · outbound

This paper cites Probably approximately correct vision- based planning using motion primitives,.

Verification of Visual Controllers via Compositional Geometric Transformations Probably approximately correct vision- based planning using motion primitives,

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.530761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.297519Z digest=sha256:50328007d1ce1ac2b6e0fe7a9c0b55cbbeb6e9f15c874f01892d5ce52d741a19

Observation ba3a21af-d270-461b-a14d-03fea307b141 · outbound

This paper cites Safe output feedback motion planning from images via learned perception modules and contraction theory,.

Verification of Visual Controllers via Compositional Geometric Transformations Safe output feedback motion planning from images via learned perception modules and contraction theory,

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.522915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.300162Z digest=sha256:ecfcad60a2023433c26126da67fa45c88bd12d0ecc6b41b64be189a98f25df2a

Observation cd911dbc-2e2d-47b0-acaa-3b90c37f2249 · outbound

This paper cites Scenario-based Compositional Verification of Autonomous Systems with Neural Perception.

Verification of Visual Controllers via Compositional Geometric Transformations Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Reference 33

Resolution
verified exact
local_arxiv, observed 2026-08-06T19:50:43.438921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.303508Z digest=sha256:a153cf6e0810122b9c6995e9de645157924871aa15ebdf4f87f437a4455946fe

Observation 567931a5-643c-470d-b460-2da64efad802 · outbound

This paper cites Verifying controllers with vision-based perception using safe approx- imate abstractions,.

Verification of Visual Controllers via Compositional Geometric Transformations Verifying controllers with vision-based perception using safe approx- imate abstractions,

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.514728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.307114Z digest=sha256:3ec21fa19bc6343b3204989fee8b9c6da7dba819173337293f49334ea9d7c2e5

Observation 9d2846cb-9d48-4b9f-b14f-026755819562 · outbound

This paper cites System-Level Safety Monitoring and Recovery for Perception Failures in Autonomous Vehicles.

Verification of Visual Controllers via Compositional Geometric Transformations System-Level Safety Monitoring and Recovery for Perception Failures in Autonomous Vehicles

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-06T19:50:43.310457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T19:50:43.310457Z digest=sha256:0b7112255b10fe493b8ec832549ee490b50f6c62d3fe70d67e44ab2030932fff

Observation 65bc631a-d7fd-49ca-ac9d-f77572e2dd33 · outbound

This paper cites Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis.

Verification of Visual Controllers via Compositional Geometric Transformations Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis

Reference 36

Resolution
verified exact
local_arxiv, observed 2026-08-06T19:50:43.416012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.314316Z digest=sha256:5b1ac4714fb945aae854b7e7c3dfae7dbba6413154b9de5c39e765978afc7137

Observation 26742cc4-4709-42d8-9fe9-dbe83d5848a8 · outbound

This paper cites Discovering closed-loop failures of vision-based controllers via reachability analysis,.

Verification of Visual Controllers via Compositional Geometric Transformations Discovering closed-loop failures of vision-based controllers via reachability analysis,

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.506643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.317576Z digest=sha256:233f1e38c9ebc4df2d53e092bcd8a092728462074cd9fe9cda227f5a79bed7ea

Observation 419f8337-8d5a-45a6-bba3-9206fa13e107 · outbound

This paper cites Toward certified robustness against real-world distribution shifts,.

Verification of Visual Controllers via Compositional Geometric Transformations Toward certified robustness against real-world distribution shifts,

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.498489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.320545Z digest=sha256:c9c706c03b74ae0116614ef5ba22d46119b2fa1a437d252ae5fbf483a8dce9b5

Observation 437e5d93-38e7-4330-97bc-990483ada951 · outbound

This paper cites Data-Driven Modeling and Verification of Perception-Based Autonomous Systems.

Verification of Visual Controllers via Compositional Geometric Transformations Data-Driven Modeling and Verification of Perception-Based Autonomous Systems

Reference 39

Resolution
verified exact
local_arxiv, observed 2026-08-06T19:50:43.403342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.324281Z digest=sha256:4e7d44a71ea4911a040a4bb15797d90b6de29d1d9ab352e083f319a2ff1dc179

Observation c8e15f4b-7672-4d12-8a61-d5e3cfe5fee7 · outbound

This paper cites Enforcing safety for vision-based controllers via control barrier functions and neural radiance fields,.

Verification of Visual Controllers via Compositional Geometric Transformations Enforcing safety for vision-based controllers via control barrier functions and neural radiance fields,

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.490737Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.328091Z digest=sha256:a724d06e85a1c9ef6dad5a862b1684325ccc36f3636b70f05f0a459b79228aa6

Observation e7e82b67-56e5-4ba0-8359-f8014341a517 · outbound

This paper cites Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing,.

Verification of Visual Controllers via Compositional Geometric Transformations Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing,

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.482357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.331463Z digest=sha256:3ad8dcd32ef0da2c7771a60eea23a5b7461244f97b2d565dc459ec614d2ebcf3

Observation 8153510d-b55f-4c21-9852-1bb93420cd6d · outbound

This paper cites One-Shot Reachability Analysis of Neural Network Dynamical Systems.

Verification of Visual Controllers via Compositional Geometric Transformations One-Shot Reachability Analysis of Neural Network Dynamical Systems

Reference 42

Resolution
verified exact
local_arxiv, observed 2026-08-06T19:50:43.389140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.334391Z digest=sha256:e6d4e30848d063bcf23a108b13af31081d14bd55e361074a6d2b6701c3ae7d22

Observation 25b6d545-c84d-4cfd-8c46-871427d3c32e · outbound

This paper cites Branch and bound for piecewise linear neural network verification,.

Verification of Visual Controllers via Compositional Geometric Transformations Branch and bound for piecewise linear neural network verification,

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.473224Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.337325Z digest=sha256:c261fe0bd77e58777baee6c1481c228a2161dbab50a727dbf4d238616acef97c

Observation 468bde36-858d-4885-816b-5268355cbee3 · outbound

This paper cites Neural network verification with branch-and-bound for general nonlineari- ties,.

Verification of Visual Controllers via Compositional Geometric Transformations Neural network verification with branch-and-bound for general nonlineari- ties,

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T19:50:43.464326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-06T19:50:43.340816Z digest=sha256:aaadd06fd5929a7496763eaf265290224d811393c2564b1bf0d98bd49dfacf23

Observation 7d52518b-ed46-42db-a5c1-5c09b74a8336 · outbound

This paper cites Gymnasium: A Standard Interface for Reinforcement Learning Environments.

Verification of Visual Controllers via Compositional Geometric Transformations Gymnasium: A Standard Interface for Reinforcement Learning Environments

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-06T19:50:43.343745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T19:50:43.343745Z digest=sha256:61ffc3a6398e988122fbfb672f88a40a6b6a86daebe267b20b79965cc915bba9

Observation 98ea7f20-979f-4e68-93ab-dc9806be6f2a · outbound

This paper cites Proximal Policy Optimization Algorithms.

Verification of Visual Controllers via Compositional Geometric Transformations Proximal Policy Optimization Algorithms

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-06T19:50:43.347369Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T19:50:43.347369Z digest=sha256:80591875682d5a4dea08b0467caf51aada8b92c77891c9a4de04352e461e384e

Observation 7a5a5c7d-4972-4e48-8b18-b299a7325280 · outbound

This paper cites On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models.

Verification of Visual Controllers via Compositional Geometric Transformations On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 2019

Resolution
unresolved
no resolver link, observed 2026-08-06T19:50:43.236620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T19:50:43.236620Z digest=sha256:5a89d5ceb49defc1f8128e38ec01c5d521e62aece933d1d7a8cff747bbace90e

Pith citing papers

No inbound Pith citation observations are available.