{"as_of":"2026-08-11T17:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b49c981d283b943115167a1a4492a6497fe677b37dbdf92a55215fd62e0e238a","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":2,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":2,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T15:08:32.963014Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-11T11:36:02.247636Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2201.00655","last_updated":"2024-07-16T17:33:04Z","snapshot_observed_at":"2026-08-09T09:15:44.441888Z","submitted_at":"2021-12-31T05:10:05Z","title":"Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.00655","snapshot_observed_at":"2026-08-11T15:08:32.963014Z","title":"Formal verification of unknown dynamical systems via gaussian process regression,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.11343","last_updated":"2025-04-27T05:46:41Z","snapshot_observed_at":"2026-08-11T16:16:59.931168Z","submitted_at":"2024-12-15T23:55:55Z","title":"Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T15:08:32.963014Z"},"links":{"cited_paper":"/paper/2201.00655","citing_paper":"/paper/2412.11343"},"observation_digest":"sha256:b9c565737bca43a8f08fe77ea12aeab245e12bd16dc8eaaea123488b07614f8e","observation_id":"68cd1d37-8737-46d8-a838-d899989a0582","resolution":{"observed_at":"2026-08-11T15:08:32.963014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2201.00655","last_updated":"2024-07-16T17:33:04Z","snapshot_observed_at":"2026-08-09T09:15:44.441888Z","submitted_at":"2021-12-31T05:10:05Z","title":"Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression","version":2},"cited_work":{"arxiv_id":"2201.00655","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2201.00655","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Formal verification of unknown dynamical systems via gaussian process regression","venue":null,"work_id":"bdc6955c-cc91-432e-86e8-ed9322f36883","year":2025},"citing_paper":{"arxiv_id":"2604.13377","last_updated":"2026-04-15T00:54:35Z","snapshot_observed_at":"2026-07-06T23:01:23.771347Z","submitted_at":"2026-04-15T00:54:35Z","title":"On the Optimality of Uncertain MDP Abstractions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"cited_paper":"/paper/2201.00655","citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:7c1e9a7713bf60df0b4b5d2eb176583e19a333e3f6bff50d1a484d867c7f6c2a","observation_id":"61707753-8909-48de-9ab2-cadbd513c762","resolution":{"observed_at":"2026-05-11T11:36:02.255743Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2201.00655/citation-record","integrity":"/paper/2201.00655/integrity","json":"/paper/2201.00655/citation-record.json","paper":"/paper/2201.00655"},"outbound":[],"paper":{"arxiv_id":"2201.00655","last_updated":"2024-07-16T17:33:04Z","latest_version":2,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-09T09:15:44.441888Z","submitted_at":"2021-12-31T05:10:05Z","title":"Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2201.00655."}