Paper Citation Record · LEDGER

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets

As of 18 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2504.12269.

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

pith.paper-citation-record.v1
2504.12269 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T12:40:33.213515Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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

29 of 29 outbound references displayed

verified exact4
verified fuzzy17
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fab8ec32-c506-495b-8ca1-4eef53a1fb60 · outbound

This paper cites Formal synthesis of lyapunov neural networks.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Formal synthesis of lyapunov neural networks

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.802345Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2a397b63-8072-4387-8be5-bbff3493866c · outbound

This paper cites Control barrier functions: Theory and applications.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Control barrier functions: Theory and applications

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-16T12:40:33.083747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b64150a-f9fd-4187-a7ce-db9b1a04ff6e · outbound

This paper cites Piecewise linear optimal controllers for hybrid systems.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Piecewise linear optimal controllers for hybrid systems

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.771805Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3f8e3687-5866-40d8-88ba-88962d933219 · outbound

This paper cites Neural lyapunov control.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Neural lyapunov control

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T12:40:33.091986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fb4f8e4-4b8b-4432-86fa-84a17b3e5e42 · outbound

This paper cites Learning lyapunov functions for hybrid systems.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Learning lyapunov functions for hybrid systems

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T12:40:33.098102Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0428cd44-d1a2-42db-a59b-ddcc27b1c9fb · outbound

This paper cites Taylor, Ugo Rosolia, and Aaron D.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Taylor, Ugo Rosolia, and Aaron D

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.733187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4a4f90bc-600a-46a5-bf63-bcfb58a55775 · outbound

This paper cites Lyapunov-stable neural-network control.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Lyapunov-stable neural-network control

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-16T12:40:33.107827Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62da25b1-56ee-4e42-92c3-4e54c83f0cfb · outbound

This paper cites Safe nonlinear control using robust neural lyapunov-barri er functions.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Safe nonlinear control using robust neural lyapunov-barri er functions

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.710553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5408ed1d-c1f6-4ee4-ad96-ee7fed3efb64 · outbound

This paper cites Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-16T12:40:33.385086Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 59f93573-7d80-4dab-8190-c1b3e11b29dd · outbound

This paper cites A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-16T12:40:33.122706Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c626d3a8-4c08-4ca9-8ed0-2035550cf8f8 · outbound

This paper cites Safety veriﬁcation and robustness analysis of neural netwo rks via quadratic constraints and semideﬁnite programming.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Safety veriﬁcation and robustness analysis of neural netwo rks via quadratic constraints and semideﬁnite programming

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.693509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 09dbb76d-38a4-477e-8654-beed58f430b9 · outbound

This paper cites Generalized approxim ation theorem and computational capabilities of neural networks.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Generalized approxim ation theorem and computational capabilities of neural networks

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.677411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b450f3c5-c759-4bc2-b1e0-1224b7c8edcc · outbound

This paper cites Gurobi Optimizer Reference Manual, 2024.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Gurobi Optimizer Reference Manual, 2024

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-16T12:40:33.137738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b917e65a-ed81-4908-8e55-4abede711784 · outbound

This paper cites Robust estimations of the region of attraction using invari ant sets.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Robust estimations of the region of attraction using invari ant sets

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.650726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 62fbc826-5c15-4bf5-a874-3c122409fda3 · outbound

This paper cites Asymptotic stability of piecewise aﬃne systems with ﬁlippo v solutions via discontinuous piecewise lyapunov functions.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Asymptotic stability of piecewise aﬃne systems with ﬁlippo v solutions via discontinuous piecewise lyapunov functions

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.632604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 782c8773-a57d-44ef-9bfe-04cd0236be13 · outbound

This paper cites Nonlinear control, volume 406.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Nonlinear control, volume 406

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-16T12:40:33.152508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8f468c5-e3bc-4a17-bcfa-71b4b0af540b · outbound

This paper cites Stability and performance veriﬁcation of dynamical systems controlled by neural networks: algorith ms and complexity.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Stability and performance veriﬁcation of dynamical systems controlled by neural networks: algorith ms and complexity

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.601216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f279bf24-ba0b-4e9b-a1ac-a15bbd0bd55c · outbound

This paper cites Numb a: A llvm-based python jit compiler.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Numb a: A llvm-based python jit compiler

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.581444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fe93538a-c9b8-4b7b-a725-0899f25685c3 · outbound

This paper cites Tool lyznet: A lightweight python tool for learning an d verifying neural lyapunov functions and regions of attract ion.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Tool lyznet: A lightweight python tool for learning an d verifying neural lyapunov functions and regions of attract ion

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.565385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b7d4f770-35e8-40c7-a148-7adde24b63bb · outbound

This paper cites Soft-Minimum and Soft-Maximum Barrier Functions for Safety with Actuation Constraints.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Soft-Minimum and Soft-Maximum Barrier Functions for Safety with Actuation Constraints

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-16T12:40:33.332284Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 80f148c5-50a3-4a0b-83cd-00fb23fdf1a0 · outbound

This paper cites Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-16T12:40:33.305342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c5483396-cae6-4a04-adda-77d9c6fd61df · outbound

This paper cites Invariant set estimation for piecewise aﬃne dynamical systems using piecewise aﬃne barrier function.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Invariant set estimation for piecewise aﬃne dynamical systems using piecewise aﬃne barrier function

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.546794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f0edc3cb-1823-4ec8-9751-f0080394b091 · outbound

This paper cites Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-16T12:40:33.277424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ccb78901-5c11-4b16-9a8a-ade7f8cea3eb · outbound

This paper cites Poonawala.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Poonawala

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.525829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 93781eb6-83ab-4015-a69f-63dc9184bc61 · outbound

This paper cites Poonawala.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Poonawala

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.509623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fe0022ea-a17c-4881-96d3-5f0a49c6dd5a · outbound

This paper cites Neural lyapunov control for discrete-time systems.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Neural lyapunov control for discrete-time systems

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.490249Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4bce9ba3-5df7-4e79-a313-1228c842d156 · outbound

This paper cites Lyapunov-stable neural control for state and output feedback: A novel formulation.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Lyapunov-stable neural control for state and output feedback: A novel formulation

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.471237Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f5e7623f-ac83-40f8-98bb-73e283c028e3 · outbound

This paper cites Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T12:40:33.207862Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a99af41d-ead6-493f-b7a9-37c50a087b4b · outbound

This paper cites Analysing region of attract ion of load balancing on complex network.

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets Analysing region of attract ion of load balancing on complex network

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:40:33.443783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.