Paper Citation Record · LEDGER

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change

As of 9 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2505.14001.

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

pith.paper-citation-record.v1
2505.14001 v1

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:44:56.594892Z

measured 45 of 45 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

45 of 45 outbound references displayed

verified exact2
verified fuzzy34
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c1e72a7e-ccb5-4e56-9177-ca8e588a48d7 · outbound

This paper cites Formal synthesis of Lyapunov neural networks.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Formal synthesis of Lyapunov neural networks

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:08.484741Z

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.

Observation 02234e8f-d4a1-40b1-80a2-724401eacc45 · outbound

This paper cites an unresolved cited work.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:45:07.350071Z

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.

Observation 5ac5a4c6-0652-41d9-b3d9-a1a144c78586 · outbound

This paper cites Data-driven Interval MDP for Robust Control Synthesis.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Data-driven Interval MDP for Robust Control Synthesis

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T15:44:51.976288Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bf24202-c5de-491b-b427-cc108a30547a · outbound

This paper cites Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction meth- ods for robotics and control.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction meth- ods for robotics and control

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:06.502470Z

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.

Observation 562bb35a-440c-4d6e-ae9c-fc373fb2992a · outbound

This paper cites DelftBlue Supercomputer (Phase 2).

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change DelftBlue Supercomputer (Phase 2)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:06.155938Z

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.

Observation 096f831b-0c87-4bfd-a25c-b4aa1f6d1932 · outbound

This paper cites Controller synthesis from deep reinforcement learn- ing policies.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Controller synthesis from deep reinforcement learn- ing policies

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:05.805623Z

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.

Observation b769a172-7fe2-4ad5-8a65-7978c81b38dc · outbound

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

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-08-07T15:44:57.864753Z

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.

Observation 7fb439b0-d53c-46f3-b63d-c6e1f2570a10 · outbound

This paper cites an unresolved cited work.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:45:05.534757Z

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.

Observation 6e17e070-0337-405f-87b7-ec0d3ec3df83 · outbound

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

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T15:44:52.987971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0a74d37-1513-4152-8132-c01e456a03cd · outbound

This paper cites Swart, and Daniel A.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Swart, and Daniel A

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:04.794815Z

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.

Observation e8498b25-ca35-430a-9949-ffaddf250c96 · outbound

This paper cites Compositional Learning and Verification of Neural Network Controllers.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Compositional Learning and Verification of Neural Network Controllers

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:04.567185Z

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.

Observation 0eae5459-af4e-48ea-926b-f32db1259283 · outbound

This paper cites Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:04.201349Z

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.

Observation 2d6abd31-7c0e-4fb8-82c8-0fe10765348c · outbound

This paper cites Compositional Reinforcement Learning from Logical Specifications.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Compositional Reinforcement Learning from Logical Specifications

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:03.706516Z

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.

Observation 71b5f5b0-050c-434f-8a2d-87355fbd2089 · outbound

This paper cites Control system analysis and design via the sec- ond method of Lyapunov: (i) continuous-time systems (ii) discrete time systems.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Control system analysis and design via the sec- ond method of Lyapunov: (i) continuous-time systems (ii) discrete time systems

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:03.476853Z

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.

Observation 857d3efd-0bcd-4cb7-83a4-7c7fa9f13651 · outbound

This paper cites Towards scalable complete verification of ReLU neural networks via dependency-based branch- ing.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Towards scalable complete verification of ReLU neural networks via dependency-based branch- ing

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:02.724761Z

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.

Observation 24339279-1560-4d1a-8408-6860afaf9e9d · outbound

This paper cites When to Trust AI: Advances and Challenges for Certification of Neural Networks.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change When to Trust AI: Advances and Challenges for Certification of Neural Networks

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:02.391921Z

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.

Observation 36678a78-bf52-4dfc-89da-7a3dd9c41ce6 · outbound

This paper cites Calvert, and Luca Laurenti.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Calvert, and Luca Laurenti

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:02.149599Z

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.

Observation 1cdcc9d4-428b-48d3-9935-39702599ed7f · outbound

This paper cites Differentiable Abstract Interpretation for Provably Robust Neural Networks.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Differentiable Abstract Interpretation for Provably Robust Neural Networks

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:02.004942Z

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.

Observation c6a79755-a34e-4a0b-8b4f-93b262228b28 · outbound

This paper cites Verifiable Reinforcement Learning Systems via Compositionality.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Verifiable Reinforcement Learning Systems via Compositionality

Reference 29

Resolution: verified exact; local_arxiv, observed 2026-08-07T15:44:57.322818Z

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.

Observation ee631c78-118f-4570-b121-93f57e885757 · outbound

This paper cites Neural continuous-time su- permartingale certificates.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Neural continuous-time su- permartingale certificates

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:01.853023Z

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.

Observation f7ab52b9-eb3a-4997-9596-5b5f6f1ad130 · outbound

This paper cites Multiple-Environment Markov Decision Processes.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Multiple-Environment Markov Decision Processes

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T15:44:55.354834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1450bc6-8f30-4077-9f35-3852f69aea8a · outbound

This paper cites Richards, Felix Berkenkamp, and Andreas Krause.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Richards, Felix Berkenkamp, and Andreas Krause

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:00.929455Z

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.

Observation 405bb5b1-d906-4807-889c-2e1f7f40dec4 · outbound

This paper cites Learning stable deep dynamics models for partially observed or delayed dynamical systems.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Learning stable deep dynamics models for partially observed or delayed dynamical systems

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:00.627423Z

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.

Observation b93241dd-ea53-4f57-ab15-0c01b6c68eea · outbound

This paper cites Proximal Policy Optimization Algorithms.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Proximal Policy Optimization Algorithms

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T15:44:55.703082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0393c9e-ef67-4f9f-b2f7-60b714fdeb01 · outbound

This paper cites Sutton, Doina Precup, and Satinder Singh.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Sutton, Doina Precup, and Satinder Singh

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:00.338442Z

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.

Observation f5e6e43a-0ab6-4e4c-80d1-2798bab486d2 · outbound

This paper cites Packard, and Peter J.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Packard, and Peter J

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:44:59.905338Z

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.

Observation 9cabb7d2-353d-4bd7-bd2f-75399e0389c2 · outbound

This paper cites Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekate- rina Komendantskaya, Guy Katz, and Clark W.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekate- rina Komendantskaya, Guy Katz, and Clark W

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:44:59.127931Z

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.

Observation d5c0d786-0ede-4416-b157-607fc83f0f87 · outbound

This paper cites Efficient neu- ral network robustness certification with general activation functions.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Efficient neu- ral network robustness certification with general activation functions

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:44:58.842484Z

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.

Observation c3d9a7ea-578b-4b83-8739-2a54d9391186 · outbound

This paper cites Compositional neural certifi- cates for networked dynamical systems.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Compositional neural certifi- cates for networked dynamical systems

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:44:58.466433Z

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.

Observation 5b3658e2-c4b4-4571-92ba-2e4f606ab077 · outbound

This paper cites Barrett, David L.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Barrett, David L

Reference 1959

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:03.121239Z

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.

Observation 0f54f305-9c01-459e-9970-0ab3b34d13fb · outbound

This paper cites Neural Lyapunov control.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Neural Lyapunov control

Reference 1968

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:07.121148Z

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.

Observation 2993190b-ce65-44f8-a300-34f79d221365 · outbound

This paper cites Learning dynamics models with stable invariant sets.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Learning dynamics models with stable invariant sets

Reference 1999

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:00.139782Z

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.

Observation 8e110581-7e65-43b8-91bb-f6b41314fc0a · outbound

This paper cites an unresolved cited work.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Unresolved cited work

Reference 2002

Resolution: unresolved; raw_fallback, observed 2026-08-07T15:45:01.319721Z

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.

Observation bb6a0eda-01aa-4dee-95bd-ce04f6949450 · outbound

This paper cites Puterman.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Puterman

Reference 2004

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:01.122676Z

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.

Observation 05121fb4-bc2a-4006-8e9f-9a85cfe848ec · outbound

This paper cites Robust control of uncertain Markov decision processes with temporal logic specifications.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Robust control of uncertain Markov decision processes with temporal logic specifications

Reference 2008

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:44:59.636401Z

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.

Observation c2f2190f-d2e5-41a7-89e9-676a6ded759f · outbound

This paper cites Neural Lyapunov con- trol for discrete-time systems.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Neural Lyapunov con- trol for discrete-time systems

Reference 2012

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:44:59.418328Z

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.

Observation aafffc00-4394-4c04-aaea-ba52fd85ca49 · outbound

This paper cites Zico Kolter and Gaurav Manek.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Zico Kolter and Gaurav Manek

Reference 2014

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:02.954173Z

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.

Observation c5b39a09-c9d8-4fa4-8195-df27040d78f8 · outbound

This paper cites Adam: A Method for Stochastic Optimization.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Adam: A Method for Stochastic Optimization

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-07T15:44:54.038799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 117c0fcf-4c8b-4fa6-8014-b605799c3a00 · outbound

This paper cites Neural termination analysis.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Neural termination analysis

Reference 2018

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:05.222326Z

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.

Observation 89b5e5bc-7d3f-4786-bbd2-22a30e686270 · outbound

This paper cites Henzinger, Mathias Lechner, and Dorde Žikeli ´c.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Henzinger, Mathias Lechner, and Dorde Žikeli ´c

Reference 2019

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:06.877123Z

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.

Observation 154cbe99-92bd-423f-927a-26c1f55e492f · outbound

This paper cites Stochastic omega-regular verification and control with supermartingales.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Stochastic omega-regular verification and control with supermartingales

Reference 2021

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:08.244746Z

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.

Observation 7a5db5dc-9468-459a-b72f-ab63c1a47969 · outbound

This paper cites Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-07T15:44:51.534904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8cbacad-3d17-4934-bf15-e2c0c908832f · outbound

This paper cites Scenario-based verification of uncertain para- metric MDPs.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Scenario-based verification of uncertain para- metric MDPs

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:07.644918Z

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.

Observation b763c097-4692-47e6-8ebf-a00ed01ae248 · outbound

This paper cites Henzinger, Mathias Lechner, and Dorde Žikeli ´c.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change Henzinger, Mathias Lechner, and Dorde Žikeli ´c

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:07.944747Z

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.

Observation 07f0f521-aa43-4945-abf5-1d9f907288a3 · outbound

This paper cites On the con- struction of Lyapunov functions using the sum of squares decomposition.

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change On the con- struction of Lyapunov functions using the sum of squares decomposition

Reference 2025

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T15:45:01.534748Z

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.

Pith citing papers

No inbound Pith citation observations are available.