Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T21:02:09.479169Z
Paper Citation Record · LEDGER
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
As of 11 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2508.09520.
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-11T06:34:44.6726+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 fuzzy32
- unresolved18
- parse uncertain0
- malformed identifier2
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 54ec4d9f-b0c9-4ea8-b402-8ec843ba5432 · outbound
This paper cites Baier and J.-P.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Baier and J.-P
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.976274Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3f05bab4-5830-4e6c-9587-198760179af3 · outbound
This paper cites Tabuada, Verification and control of hybrid systems: A symbolic approach.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Tabuada, Verification and control of hybrid systems: A symbolic approach
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.967953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3b99e070-5f9e-4393-997f-b149d9d1b94b · outbound
This paper cites Abate, M.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Abate, M
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.959068Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation daf64ba2-6f20-40c9-8fec-5f4aebc0b57e · outbound
This paper cites Girard and G.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Girard and G
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.950736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7bededeb-eb8c-4e5e-b235-522f5daa1901 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.942130Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 1e2edbb5-1e9f-47a0-9f6c-538fbcd7f0bb · outbound
This paper cites Zamani, P.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Zamani, P
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.933586Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a29aa8c5-2216-4801-a8a2-e57e7886a46b · outbound
This paper cites Prajna, A.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Prajna, A
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.925308Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ff2ea6a2-dd81-4a7a-8ec6-4b10b7318f42 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.916394Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7cf21619-7624-4b1d-95e4-e6008bfb1509 · outbound
This paper cites Wieland and F.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Wieland and F
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.907490Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a11fe82e-9632-495e-bfe3-e012d9da9652 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.898785Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5ad812d6-e6a7-492a-9740-a3ba7f66cb98 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.890033Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 2bc8ee16-db71-4f9f-8133-a46fdc83162a · outbound
This paper cites Luo and T.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Luo and T
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.881729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7f6817b7-ee4a-4033-96d5-1d1e6507a3c7 · outbound
This paper cites Lavaei and E.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Lavaei and E
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.872841Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e24ec9da-cebd-4805-b7eb-3bcd3513f56f · outbound
This paper cites PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:02:09.363206Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e2c03f3-670f-41b8-9bcf-6c128de793c3 · outbound
This paper cites Lavaei and E.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Lavaei and E
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.863905Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 75cff725-4ab2-4f6e-a57f-b28b41e73dc8 · outbound
This paper cites Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T21:02:09.369776Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3623fe4e-6d04-43b7-b6e5-48d53375753a · outbound
This paper cites Lavaei, S.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Lavaei, S
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.855555Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5f066c5b-a738-48bf-b38e-e9c013a5320d · outbound
This paper cites Swikir and M.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Swikir and M
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.847024Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation b30ca6ec-5f08-42ba-8b81-f1742cd4200b · outbound
This paper cites Nejati and M.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Nejati and M
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.838647Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation b9872ca8-b069-468d-a9e4-621f38c0eeec · outbound
This paper cites Lavaei, ``Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques,'' Ph.D.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Lavaei, ``Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques,'' Ph.D
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.830134Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 610dc7d9-de48-49f1-9cfb-5a6bc9988175 · outbound
This paper cites Nejati and M.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Nejati and M
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.821194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 399b7fce-2203-48de-8b0a-aaa6acaca40b · outbound
This paper cites Hou and Z.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Hou and Z
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.812437Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 0e28c1ed-69cd-4f5a-82fc-31eb6940e3f1 · outbound
This paper cites D \"o rfler, F.and Coulson and I.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks D \"o rfler, F.and Coulson and I
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.803570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation b46d4c17-0343-40b6-802e-f6e8f6284a69 · outbound
This paper cites Nejati, A.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Nejati, A
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.795179Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 18e88af8-6286-40d1-b90d-2a56b31d5fb3 · outbound
This paper cites Rotulo, C.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Rotulo, C
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.786256Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c4bcee76-d85c-4396-8e6e-9fd0414ed587 · outbound
This paper cites Nejati and M.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Nejati and M
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.769461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 99e0f8a5-2d99-4d1d-8af5-f28a1fc9dd1b · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.760858Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation edd7287e-b372-4d2e-8b50-cf6be7d7c53a · outbound
This paper cites Bisoffi, C.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Bisoffi, C
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.752548Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation f7f85c5d-a42e-4656-8118-db6ded5723d6 · outbound
This paper cites Bartocci, L.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Bartocci, L
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.743355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 03f39093-24df-45eb-b53d-1cae0c5d64d8 · outbound
This paper cites Nejati, B.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Nejati, B
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.734785Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 42aa19c7-543d-43f6-8686-575db5bf3261 · outbound
This paper cites Akbarzadeh, M.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Akbarzadeh, M
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.725751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 846bc4d9-9eff-4761-b3a8-7069112906e2 · outbound
This paper cites Samari, O.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Samari, O
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.716995Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation bc37c95e-cfbf-4802-91a1-2a2a0c98b04c · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.708364Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e88c5931-f381-440a-bf9a-5801186fff65 · outbound
This paper cites Mohajerin Esfahani, T.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Mohajerin Esfahani, T
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.699377Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7d11389e-e8d8-45e1-8bd8-1855f5237bf6 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.691035Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 35357997-a872-43f7-80cf-c7d3c0c6d590 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.682820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 034d5101-3832-48b9-b6a9-339a603e6119 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.674004Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c1eedd7a-cd16-4184-8a74-8a43044e2f5f · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.665581Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 88007ecd-d6d0-447d-8c75-5c49e9fe00a9 · outbound
This paper cites De Persis and P.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks De Persis and P
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.657006Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 1c2b8900-ce5a-4406-ba63-7296da600872 · outbound
This paper cites Bhatia and C.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Bhatia and C
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.648623Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 344197af-cc87-41ba-a2f1-624088f4dd67 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.640369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation b718de6e-10d2-4c61-b50b-95da1817ab75 · outbound
This paper cites Ando, Matrix Y oung I nequalities.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Ando, Matrix Y oung I nequalities
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.631940Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3ada7184-08ee-4b7c-93d3-75c8328fe93b · outbound
This paper cites Zhang, The S chur C omplement and I ts A pplications.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Zhang, The S chur C omplement and I ts A pplications
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.623629Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8e41c1df-6146-467e-a5d6-6541c2a1cb6b · outbound
This paper cites Prajna, A.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Prajna, A
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.615086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c5df50f2-4e2a-45db-807c-56ce040e3b26 · outbound
This paper cites ApS, The MOSEK optimization toolbox for MATLAB manual.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks ApS, The MOSEK optimization toolbox for MATLAB manual
Reference 45
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-05T21:02:09.606300Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 483a3c41-81e5-4ff1-b329-22ed0fb20362 · outbound
This paper cites L \'o pez-Mancilla, G.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks L \'o pez-Mancilla, G
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T21:02:09.596831Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 368a39b1-293b-4e71-8b03-ec386dccdafb · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.587838Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 790017d1-5d4e-4e74-b099-77dca2b2dbc4 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.578601Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 01cc8f54-4aca-4211-875f-e81347818c74 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.569786Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5fa836b6-49cd-444d-92ce-5bed9a04b1b0 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.560452Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 05d8d7bd-5d28-4c73-a971-8ded364a6577 · outbound
This paper cites an unresolved cited work.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T21:02:09.551335Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ffa573a1-e178-42b9-af46-a3e615f54551 · outbound
This paper cites IEEEtrantools_doc.txt.
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks IEEEtrantools_doc.txt
Reference 52
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-05T21:02:09.541187Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Pith citing papers
No inbound Pith citation observations are available.