Paper Citation Record · LEDGER

Data-Driven Certificate Synthesis

As of 10 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 6 inbound Pith citation observations for arXiv:2502.05510.

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

pith.paper-citation-record.v1
2502.05510 v3

Coverage vector

measured 49 of 49 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T19:11:12.659446Z

measured 55 of 55 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 6 of 6 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-05T17:51:59.709119Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T20:30:08.270930Z

Reference resolution

49 of 49 outbound references displayed

verified exact1
verified fuzzy42
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7e1b5fbc-8ba3-436f-a2bd-0b3f000a2444 · outbound

This paper cites FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certiﬁcates Using Neural Networks.

Data-Driven Certificate Synthesis FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certiﬁcates Using Neural Networks

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.175127Z

Source-reported events for the cited work

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

Observation a51a58b9-c562-4ee8-a7cd-55f83d1411ee · outbound

This paper cites Stochastic Omega-Regular Veriﬁcation and Control with Supermartingales.

Data-Driven Certificate Synthesis Stochastic Omega-Regular Veriﬁcation and Control with Supermartingales

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.166790Z

Source-reported events for the cited work

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

Observation f62765ac-8c19-4e5e-8882-a2864d1fe7cb · outbound

This paper cites Model Checking and Strategy Synthesis with Abstractions and Certiﬁcates , pages 360–391.

Data-Driven Certificate Synthesis Model Checking and Strategy Synthesis with Abstractions and Certiﬁcates , pages 360–391

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.156673Z

Source-reported events for the cited work

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

Observation 43ae7271-bb04-4ff9-a79e-6b06451a432d · outbound

This paper cites Ahmed, A.

Data-Driven Certificate Synthesis Ahmed, A

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.146977Z

Source-reported events for the cited work

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

Observation 329d5888-ecf2-49e2-8d15-9dd26b8598d3 · outbound

This paper cites Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada.

Data-Driven Certificate Synthesis Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.138131Z

Source-reported events for the cited work

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

Observation 22413816-7df2-4e2d-ade5-b5ed28191769 · outbound

This paper cites Formally Veriﬁed Neural Network Control Barrier Certiﬁcates for Unknown Systems.

Data-Driven Certificate Synthesis Formally Veriﬁed Neural Network Control Barrier Certiﬁcates for Unknown Systems

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.129371Z

Source-reported events for the cited work

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

Observation 5d893a55-1d4b-4f9d-b93d-e5af99d379fc · outbound

This paper cites Badings, Murat Cubuktepe, Nils Jansen, Sebastia n Junges, Joost-Pieter Katoen, and Ufuk Topcu.

Data-Driven Certificate Synthesis Badings, Murat Cubuktepe, Nils Jansen, Sebastia n Junges, Joost-Pieter Katoen, and Ufuk Topcu

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.120780Z

Source-reported events for the cited work

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

Observation 71251357-36e9-4957-af36-295bd0ae90d5 · outbound

This paper cites Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A.

Data-Driven Certificate Synthesis Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.111276Z

Source-reported events for the cited work

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

Observation 076cceb7-3e31-4598-af22-c98df85420c5 · outbound

This paper cites Boyd and Lieven Vandenberghe.

Data-Driven Certificate Synthesis Boyd and Lieven Vandenberghe

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.102217Z

Source-reported events for the cited work

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

Observation 23a3001c-0d3a-4c24-933e-8f7011a19f66 · outbound

This paper cites Introduction to the Scenario Approach.

Data-Driven Certificate Synthesis Introduction to the Scenario Approach

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.093467Z

Source-reported events for the cited work

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

Observation 4d9a0c30-aca4-4ae9-be36-3bc5bc97017c · outbound

This paper cites Campi and Simone Garatti.

Data-Driven Certificate Synthesis Campi and Simone Garatti

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.084093Z

Source-reported events for the cited work

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

Observation e5353424-70d5-4c30-8adf-2fd8997348a4 · outbound

This paper cites Campi and Simone Garatti.

Data-Driven Certificate Synthesis Campi and Simone Garatti

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.073203Z

Source-reported events for the cited work

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

Observation 7fbc79b0-4753-42fb-b759-98c1ae32dde4 · outbound

This paper cites Campi and Simone Garatti.

Data-Driven Certificate Synthesis Campi and Simone Garatti

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.062679Z

Source-reported events for the cited work

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

Observation d5c3ba3b-3a79-4fff-857d-f25d1bb69e84 · outbound

This paper cites Campi and Simone Garatti.

Data-Driven Certificate Synthesis Campi and Simone Garatti

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.054050Z

Source-reported events for the cited work

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

Observation 30154979-8379-463f-b9dd-c62a3524c757 · outbound

This paper cites A General Scenario Theory for Nonconvex Optimization and Decision Making.

Data-Driven Certificate Synthesis A General Scenario Theory for Nonconvex Optimization and Decision Making

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.045269Z

Source-reported events for the cited work

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

Observation f6bb1ac2-c56a-43f2-a4cb-a990575c071c · outbound

This paper cites Neural Lyapunov Control.

Data-Driven Certificate Synthesis Neural Lyapunov Control

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.036257Z

Source-reported events for the cited work

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

Observation 656f7e67-0895-4a3b-9155-2f575f855cd5 · outbound

This paper cites A Measure of Asymptotic Eﬃciency for Tests of a Hypothesis Based on the sum of Observations.

Data-Driven Certificate Synthesis A Measure of Asymptotic Eﬃciency for Tests of a Hypothesis Based on the sum of Observations

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.027815Z

Source-reported events for the cited work

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

Observation 5b41ca3e-3de6-454e-8437-f266a706f19e · outbound

This paper cites an unresolved cited work.

Data-Driven Certificate Synthesis Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-08T19:11:13.018928Z

Source-reported events for the cited work

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

Observation b62ffe54-4f97-4ecc-9fb2-bdc53fd3bc1e · outbound

This paper cites Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems.

Data-Driven Certificate Synthesis Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:13.007797Z

Source-reported events for the cited work

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

Observation 03affb5e-0ced-4096-89de-50820dc629ac · outbound

This paper cites Safe Control With Learned Certiﬁcates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control.

Data-Driven Certificate Synthesis Safe Control With Learned Certiﬁcates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.998346Z

Source-reported events for the cited work

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

Observation 10ef44cd-21fe-43a8-a5a5-03aa04aeecc8 · outbound

This paper cites Fos sil 2.0: Formal Certiﬁcate Synthesis for the Veriﬁcation and Control of Dynamical Models.

Data-Driven Certificate Synthesis Fos sil 2.0: Formal Certiﬁcate Synthesis for the Veriﬁcation and Control of Dynamical Models

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.989046Z

Source-reported events for the cited work

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

Observation 5def42c8-b668-441e-9bf7-b0721ab42adb · outbound

This paper cites W armuth.

Data-Driven Certificate Synthesis W armuth

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.980417Z

Source-reported events for the cited work

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

Observation e8b56982-18a4-4870-8af9-64eaf4abcf8a · outbound

This paper cites an unresolved cited work.

Data-Driven Certificate Synthesis Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-08T19:11:12.971964Z

Source-reported events for the cited work

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

Observation 7dfcebbc-7864-4215-bb46-ca46407605e5 · outbound

This paper cites Garcia, David M.

Data-Driven Certificate Synthesis Garcia, David M

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.963130Z

Source-reported events for the cited work

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

Observation b234f5d2-bcfc-4a66-90d4-c85207966dd1 · outbound

This paper cites Hirsch, Stephen Smale, and Robert L.

Data-Driven Certificate Synthesis Hirsch, Stephen Smale, and Robert L

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.954544Z

Source-reported events for the cited work

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

Observation abcb1cdf-98d6-41eb-a0f0-d33dc1730140 · outbound

This paper cites Probability Inequalities for Sums o f Bounded Random Variables.

Data-Driven Certificate Synthesis Probability Inequalities for Sums o f Bounded Random Variables

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.944311Z

Source-reported events for the cited work

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

Observation 3bf1c1db-ef7f-44f3-b075-53f2a4b0cf3e · outbound

This paper cites Stinchcombe, and Halbert White.

Data-Driven Certificate Synthesis Stinchcombe, and Halbert White

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.934315Z

Source-reported events for the cited work

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

Observation 4d2fafe1-1550-4f67-b523-33a5daae202a · outbound

This paper cites Formal Synthesis of Stochastic Systems via Control Barrier Certiﬁcates.

Data-Driven Certificate Synthesis Formal Synthesis of Stochastic Systems via Control Barrier Certiﬁcates

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.925412Z

Source-reported events for the cited work

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

Observation 90a50e67-37f5-453b-bed6-eac6633d7c95 · outbound

This paper cites Neural Certificates for Safe Control Policies.

Data-Driven Certificate Synthesis Neural Certificates for Safe Control Policies

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-08T19:11:12.597436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8f12ecf-1972-4ed1-aa07-f60e3c45dc1f · outbound

This paper cites Kingma and Jimmy Ba.

Data-Driven Certificate Synthesis Kingma and Jimmy Ba

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.915488Z

Source-reported events for the cited work

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

Observation 291c2223-abc3-4942-b3e6-691d755737c8 · outbound

This paper cites The General Problem of the Stability of Motion.

Data-Driven Certificate Synthesis The General Problem of the Stability of Motion

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.906653Z

Source-reported events for the cited work

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

Observation b79bee91-db7a-478d-b3bd-8654f55c41bd · outbound

This paper cites On the Connection Between Compression Learning and Scenario Based Single-Stage and Cascading Optimization Problems.

Data-Driven Certificate Synthesis On the Connection Between Compression Learning and Scenario Based Single-Stage and Cascading Optimization Problems

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.896116Z

Source-reported events for the cited work

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

Observation 08826843-4d48-417b-8aab-e7e797983322 · outbound

This paper cites Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs.

Data-Driven Certificate Synthesis Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.885205Z

Source-reported events for the cited work

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

Observation 44055a22-be0c-4de1-818a-b4dc1521038f · outbound

This paper cites Formal Veriﬁcation of Unknown Discrete- and Continuous-Time Systems: A Data- Driven Approach.

Data-Driven Certificate Synthesis Formal Veriﬁcation of Unknown Discrete- and Continuous-Time Systems: A Data- Driven Approach

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.874608Z

Source-reported events for the cited work

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

Observation f1abefe6-5e34-4521-a1bb-5e8b972e2a3c · outbound

This paper cites Campi, and Simone Garatti.

Data-Driven Certificate Synthesis Campi, and Simone Garatti

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.863138Z

Source-reported events for the cited work

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

Observation 3bf28c48-4884-4a6e-9643-e3adac918664 · outbound

This paper cites On the Construction of Lyapunov Functions Using the Sum of Squares Decomposition.

Data-Driven Certificate Synthesis On the Construction of Lyapunov Functions Using the Sum of Squares Decomposition

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.852456Z

Source-reported events for the cited work

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

Observation 871d358b-500b-453f-93f7-ff91f8bce056 · outbound

This paper cites Safety Veriﬁcation o f Hybrid Systems Using Barrier Certiﬁcates.

Data-Driven Certificate Synthesis Safety Veriﬁcation o f Hybrid Systems Using Barrier Certiﬁcates

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.841483Z

Source-reported events for the cited work

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

Observation 57645381-7685-4999-8a45-8fdc976f3a3c · outbound

This paper cites an unresolved cited work.

Data-Driven Certificate Synthesis Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-08T19:11:12.829011Z

Source-reported events for the cited work

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

Observation 62c27e9b-6bd3-492b-9bf4-fb2626e9f10b · outbound

This paper cites an unresolved cited work.

Data-Driven Certificate Synthesis Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-08T19:11:12.819611Z

Source-reported events for the cited work

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

Observation 99856c52-52af-42ea-b168-cc03074db254 · outbound

This paper cites Model Predictive Control with Reach-avoid Analysis.

Data-Driven Certificate Synthesis Model Predictive Control with Reach-avoid Analysis

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.809870Z

Source-reported events for the cited work

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

Observation 15499e29-f0da-456a-84f5-061d49f7d2b1 · outbound

This paper cites Learning Robust Policies for Uncertain Parametric Markov Decision Processes.

Data-Driven Certificate Synthesis Learning Robust Policies for Uncertain Parametric Markov Decision Processes

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.799127Z

Source-reported events for the cited work

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

Observation 0f1c2cb7-8d40-4a13-9e41-8fdb0b9827e5 · outbound

This paper cites Continuous-time Data-driven Barrier Certificate Synthesis.

Data-Driven Certificate Synthesis Continuous-time Data-driven Barrier Certificate Synthesis

Reference 42

Resolution: verified exact; local_arxiv, observed 2026-08-08T19:11:12.710957Z

Source-reported events for the cited work

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

Observation 06df1568-95e2-44a2-8f25-34b2c11d0264 · outbound

This paper cites Badings, Licio Romao, and Alessandro Abate.

Data-Driven Certificate Synthesis Badings, Licio Romao, and Alessandro Abate

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.788651Z

Source-reported events for the cited work

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

Observation 9d465bf2-afe3-4a49-a29b-2dd5ded579ce · outbound

This paper cites On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints.

Data-Driven Certificate Synthesis On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.776977Z

Source-reported events for the cited work

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

Observation 450aafa4-acd8-4aec-a2a0-bdd76034891a · outbound

This paper cites Data-Driven Veriﬁcation and Synthesis of Stochast ic Systems via Barrier Certiﬁcates.

Data-Driven Certificate Synthesis Data-Driven Veriﬁcation and Synthesis of Stochast ic Systems via Barrier Certiﬁcates

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.767077Z

Source-reported events for the cited work

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

Observation c65b6ffa-06e9-40f9-9d3e-3a993d0ddafd · outbound

This paper cites Certiﬁed Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets, 2025.

Data-Driven Certificate Synthesis Certiﬁed Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets, 2025

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.758054Z

Source-reported events for the cited work

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

Observation 496f3f13-08ab-446e-b083-4beecd28a158 · outbound

This paper cites Learning Certiﬁe d Control Using Contraction Metric.

Data-Driven Certificate Synthesis Learning Certiﬁe d Control Using Contraction Metric

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.746631Z

Source-reported events for the cited work

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

Observation 23724284-34b0-4028-9cb4-2a1298966ac0 · outbound

This paper cites W ood and B.

Data-Driven Certificate Synthesis W ood and B

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T19:11:12.735952Z

Source-reported events for the cited work

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

Observation f2a62307-640d-40df-90fe-15454695bfbe · outbound

This paper cites Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis.

Data-Driven Certificate Synthesis Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-08T19:11:12.659446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 234f6db7-23b1-443c-a7ba-61e997fc4a73 · inbound

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors cites this paper.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-Driven Certificate Synthesis

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T17:51:59.709119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 756215be-abfa-40ec-96d9-e2c25dd4d3b1 · inbound

Robustness Certificates for Neural Networks Against Data Poisoning and Evasion Attacks cites this paper.

Robustness Certificates for Neural Networks Against Data Poisoning and Evasion Attacks Data-Driven Certificate Synthesis

Reference 1

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T20:33:24.359199Z

Source-reported events for the cited work

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

Observation 66f7a74c-9378-4af7-8d82-4e9c76bc635d · inbound

Robustness Certificates for Neural Networks Against Data Poisoning and Evasion Attacks cites this paper.

Robustness Certificates for Neural Networks Against Data Poisoning and Evasion Attacks Data-Driven Certificate Synthesis

Reference 2007

Resolution: unresolved; no resolver link, observed 2026-08-03T14:28:31.361764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19307b2f-4909-4579-9c24-e2b25a2b1cec · inbound

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics cites this paper.

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics Data-Driven Certificate Synthesis

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-20T03:43:02.208014Z

Source-reported events for the cited work

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

Observation 61268903-51df-456e-9e2b-f14e8a99210a · inbound

Control Barrier Function only Formation Tracking in Multi-Agent Systems cites this paper.

Control Barrier Function only Formation Tracking in Multi-Agent Systems Data-Driven Certificate Synthesis

Reference 70

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:30:08.272520Z

Source-reported events for the cited work

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

Observation ef5a9fae-b51f-433e-89cf-bdfec075391a · inbound

Control Barrier Function only Formation Tracking in Multi-Agent Systems cites this paper.

Control Barrier Function only Formation Tracking in Multi-Agent Systems Data-Driven Certificate Synthesis

Reference 70

Resolution: verified exact; arxiv_id, observed 2026-07-04T12:49:52.443580Z

Source-reported events for the cited work

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