Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-24T10:17:16.055536Z
Paper Citation Record · LEDGER
Quantitative Verification with Neural Networks
As of 7 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2301.06136.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
52 of 52 outbound references displayed
- verified exact0
- verified fuzzy46
- unresolved6
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 589caf9f-e1bc-4a00-b5a0-1cb647e1e1fc · outbound
This paper cites Formal synthesis of Lyapunov neural networks.
Quantitative Verification with Neural Networks Formal synthesis of Lyapunov neural networks
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.431941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ca22531f-739d-4b5d-b290-cfc972ad829c · outbound
This paper cites Quantitative verification with neural networks.
Quantitative Verification with Neural Networks Quantitative verification with neural networks
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.425692Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 64754949-b758-4bf4-b22a-ea2ab90c9899 · outbound
This paper cites Learning probabilistic termination proofs.
Quantitative Verification with Neural Networks Learning probabilistic termination proofs
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.450730Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e57a0516-26bf-4d10-a721-624856265560 · outbound
This paper cites Quantitative automata model checking of autonomous stochastic hybrid systems.
Quantitative Verification with Neural Networks Quantitative automata model checking of autonomous stochastic hybrid systems
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.459026Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f861d9e1-e1fb-4d56-943a-42ce00c4075d · outbound
This paper cites Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems.
Quantitative Verification with Neural Networks Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.463996Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 21b36a80-5ede-46ab-a5f8-2ccef4249ea7 · outbound
This paper cites Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs.
Quantitative Verification with Neural Networks Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.334616Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 06ddf2fd-a1b8-4b23-911e-02eefb4efd58 · outbound
This paper cites Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs.
Quantitative Verification with Neural Networks Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.398601Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 69692d63-c160-4aef-b7a0-1e613ea5a61b · outbound
This paper cites an unresolved cited work.
Quantitative Verification with Neural Networks Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-05-24T10:19:19.471202Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 882ee48c-c9db-4ec2-b91a-63fafb188a64 · outbound
This paper cites Model checking probabilistic systems.
Quantitative Verification with Neural Networks Model checking probabilistic systems
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.324108Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1cd76ab0-ec65-4e60-a9c7-99082ab38eb1 · outbound
This paper cites Haverkort, Holger Hermanns, and Joost - Pieter Katoen.
Quantitative Verification with Neural Networks Haverkort, Holger Hermanns, and Joost - Pieter Katoen
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.441637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation db2e2859-2d47-4c14-93c6-22be48636b72 · outbound
This paper cites Principles of model checking.
Quantitative Verification with Neural Networks Principles of model checking
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.428856Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 41c7e48d-6e36-4f16-bc56-f552ec782315 · outbound
This paper cites Data-driven invariant learning for probabilistic programs.
Quantitative Verification with Neural Networks Data-driven invariant learning for probabilistic programs
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.374364Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1fae01c6-5ffd-46f7-9c08-aec21d2562d0 · outbound
This paper cites Probabilistic program verification via inductive synthesis of inductive invariants.
Quantitative Verification with Neural Networks Probabilistic program verification via inductive synthesis of inductive invariants
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.369094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9f5ed3ca-13cc-48c9-b75e-fec07a2d65b0 · outbound
This paper cites an unresolved cited work.
Quantitative Verification with Neural Networks Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-05-24T10:19:19.422232Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e685692b-d1dc-4dc6-8fad-baa80f2d6768 · outbound
This paper cites Probabilistic program analysis with martingales.
Quantitative Verification with Neural Networks Probabilistic program analysis with martingales
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.313992Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5600a9fe-bac9-4e1f-ad52-335ac9a9733d · outbound
This paper cites Neural Lyapunov control.
Quantitative Verification with Neural Networks Neural Lyapunov control
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.406433Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f47d58eb-355d-4bc1-9e06-43404b9bb650 · outbound
This paper cites Termination analysis of probabilistic programs through positivstellensatz's.
Quantitative Verification with Neural Networks Termination analysis of probabilistic programs through positivstellensatz's
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.409480Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 13be1d77-86a7-4c9a-bd65-0e6ab279c812 · outbound
This paper cites Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs.
Quantitative Verification with Neural Networks Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.414983Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 896f4f1b-84c6-4c12-9bb1-9436d04b6d82 · outbound
This paper cites Sound and complete certificates for quantitative termination analysis of probabilistic programs.
Quantitative Verification with Neural Networks Sound and complete certificates for quantitative termination analysis of probabilistic programs
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.446913Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation cc739436-484d-4d4b-9236-c068cf446638 · outbound
This paper cites Henzinger, Mathias Lechner, and or e Z ikeli\' c.
Quantitative Verification with Neural Networks Henzinger, Mathias Lechner, and or e Z ikeli\' c
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.371708Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 38e8b5ae-3ee2-4cf9-86cc-b046f7eaa089 · outbound
This paper cites Stochastic invariants for probabilistic termination.
Quantitative Verification with Neural Networks Stochastic invariants for probabilistic termination
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.412097Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2e3859d3-9119-4f1f-9009-fe06be6661e3 · outbound
This paper cites Semantics of probabilistic programming: A gentle introduction.
Quantitative Verification with Neural Networks Semantics of probabilistic programming: A gentle introduction
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.401672Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d92da2d1-cac8-419e-99e0-f6b6a3767bc4 · outbound
This paper cites an unresolved cited work.
Quantitative Verification with Neural Networks Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-05-24T10:19:19.404182Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8479538d-80f3-40f6-8e32-88924d5ae108 · outbound
This paper cites Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu.
Quantitative Verification with Neural Networks Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.417984Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 75f401fd-67a6-4b8c-af5e-3008298b14a7 · outbound
This paper cites Termination of nondeterministic probabilistic programs.
Quantitative Verification with Neural Networks Termination of nondeterministic probabilistic programs
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.385065Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a04f5284-6b28-4480-9d06-243bfda62da5 · outbound
This paper cites an unresolved cited work.
Quantitative Verification with Neural Networks Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-05-24T10:19:19.391133Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c4a729a4-9cc0-4fea-aeb6-5b67fa4fc56e · outbound
This paper cites an unresolved cited work.
Quantitative Verification with Neural Networks Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-05-24T10:19:19.322030Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0459be57-1ffe-441c-b940-6dd9b2cea46b · outbound
This paper cites Neural termination analysis.
Quantitative Verification with Neural Networks Neural termination analysis
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.376913Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 16c974f3-7233-4c00-93ca-4bc4bb76f0af · outbound
This paper cites Gordon, Thomas A.
Quantitative Verification with Neural Networks Gordon, Thomas A
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.379378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b21d558d-a239-4d1d-9968-add331ecc66b · outbound
This paper cites Hern \'a ndez-Lerma and J.
Quantitative Verification with Neural Networks Hern \'a ndez-Lerma and J
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.395421Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f63a675b-9312-4d4d-8aba-e5ba35d7fc9b · outbound
This paper cites Modular verification for almost-sure termination of probabilistic programs.
Quantitative Verification with Neural Networks Modular verification for almost-sure termination of probabilistic programs
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.352558Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 58449096-400c-4a2c-a14e-5606ddac243f · outbound
This paper cites Kallenberg.
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.316980Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4fe74639-c75d-4e6a-8edd-3d6d9f0a6c77 · outbound
This paper cites Semantics of probabilistic programs.
Quantitative Verification with Neural Networks Semantics of probabilistic programs
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.354835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0808398d-77d5-4f7c-aff7-2c91b7d4472a · outbound
This paper cites Kwiatkowska.
Quantitative Verification with Neural Networks Kwiatkowska
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.364894Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8c2dd723-8b8c-4ed7-8aaf-d264d0aee2a8 · outbound
This paper cites Kwiatkowska, Gethin Norman, and David Parker.
Quantitative Verification with Neural Networks Kwiatkowska, Gethin Norman, and David Parker
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.382070Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9dd85468-3964-4524-b3b8-d9e1925b4698 · outbound
This paper cites Henzinger.
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.357248Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d645203c-930a-4ae4-a462-aa27633bcd44 · outbound
This paper cites Safety certification for stochastic systems via neural barrier functions.
Quantitative Verification with Neural Networks Safety certification for stochastic systems via neural barrier functions
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.359876Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b5b4476a-b344-4234-83d9-cf0226a76082 · outbound
This paper cites Games, probability and the quantitative \( \) -calculus qm \( \).
Quantitative Verification with Neural Networks Games, probability and the quantitative \( \) -calculus qm \( \)
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.362538Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4d83ee1c-aa69-4a1a-88a4-d0188c16d7dd · outbound
This paper cites Abstraction, Refinement and Proof for Probabilistic Systems.
Quantitative Verification with Neural Networks Abstraction, Refinement and Proof for Probabilistic Systems
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.319764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation faa931ab-515c-4b10-8d7e-702321e95746 · outbound
This paper cites Tweedie, and Peter W.
Quantitative Verification with Neural Networks Tweedie, and Peter W
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.387549Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d20d1723-8ea4-4c19-b407-52a029f246a2 · outbound
This paper cites Probabilistic predicate transformers.
Quantitative Verification with Neural Networks Probabilistic predicate transformers
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.434908Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c99ca7e7-2f3c-4f4e-aa0d-c0ecfb25a57d · outbound
This paper cites Bounded expectations: resource analysis for probabilistic programs.
Quantitative Verification with Neural Networks Bounded expectations: resource analysis for probabilistic programs
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.477054Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 627346e5-c463-4197-87c9-5022d1b6ec7e · outbound
This paper cites Automated and formal synthesis of neural barrier certificates for dynamical models.
Quantitative Verification with Neural Networks Automated and formal synthesis of neural barrier certificates for dynamical models
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.467262Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5db241df-e1d5-4dc1-acd7-cd66645a2a38 · outbound
This paper cites A User's Guide to Measure Theoretic Probability.
Quantitative Verification with Neural Networks A User's Guide to Measure Theoretic Probability
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.342108Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ec0878a9-b41c-4464-9a10-76921c2889ff · outbound
This paper cites Royden and P.
Quantitative Verification with Neural Networks Royden and P
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.344328Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e11b1326-2be6-4027-92ae-ee25c028d222 · outbound
This paper cites Program Synthesis by Sketching.
Quantitative Verification with Neural Networks Program Synthesis by Sketching
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.337347Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 30016565-09bc-48ce-b142-3ed56fd7900d · outbound
This paper cites Seshia, and Vijay A.
Quantitative Verification with Neural Networks Seshia, and Vijay A
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.339639Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b098317f-923c-461e-a625-0cf198a4fd58 · outbound
This paper cites Ranking and repulsing supermartingales for reachability in randomized programs.
Quantitative Verification with Neural Networks Ranking and repulsing supermartingales for reachability in randomized programs
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.346981Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9e78265a-f7e5-45cb-bac8-8e79cbdd27d8 · outbound
This paper cites Quantitative model-checking of controlled discrete-time markov processes.
Quantitative Verification with Neural Networks Quantitative model-checking of controlled discrete-time markov processes
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.349735Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 324838c3-6232-455a-848a-f0b0ae32c4f8 · outbound
This paper cites Towards quantitative verification of probabilistic transition systems.
Quantitative Verification with Neural Networks Towards quantitative verification of probabilistic transition systems
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.326941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c04142e1-0405-4a95-9167-78c877556276 · outbound
This paper cites an unresolved cited work.
Quantitative Verification with Neural Networks Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-05-24T10:19:19.329154Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c64691d4-2b01-420b-990b-f0b59a1d55cf · outbound
This paper cites Cost analysis of nondeterministic probabilistic programs.
Quantitative Verification with Neural Networks Cost analysis of nondeterministic probabilistic programs
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T10:19:19.331907Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.