Pith. sign in

Paper Citation Record · LEDGER

Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems

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

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

pith.paper-citation-record.v1
2305.03882 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 3 of 3 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 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T04:54:33.005000Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-19T11:37:15.949998Z

Reference resolution

0 of 0 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation f48a962d-500d-40be-a18d-7b0d75c79093 · inbound

MoDitector: Module-Directed Testing for Autonomous Driving Systems cites this paper.

MoDitector: Module-Directed Testing for Autonomous Driving Systems Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-08T04:54:33.005000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-08T04:54:33.005000Z digest=sha256:05c4585ec3c79b1cd0d066155dd6ef02e4b4111d279f4f2f0402b1c8a9d5f9e0

Observation 9dd8132e-afc5-4534-8da8-cf2839ac1f3b · inbound

ReGA: Model-Based Safeguard for LLMs via Representation-Guided Abstraction cites this paper.

ReGA: Model-Based Safeguard for LLMs via Representation-Guided Abstraction Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems

Reference 27

Resolution
verified exact
arxiv_id, observed 2026-05-19T11:37:15.951559Z

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.

source=pdf_text observed=2026-05-19T11:34:09.428653Z digest=sha256:9c702c87301c602ab8d3da1a1bdc3772688e913e30fe6a2670f25c608049a95d

Observation dfa42ff2-e1db-4577-bb92-3d64a4dcda9c · inbound

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy cites this paper.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems

Reference 99

Resolution
unresolved
no resolver link, observed 2026-08-05T18:51:31.727793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T18:51:31.727793Z digest=sha256:ad7b37d31049aab1116b640b280b4c63df648e825fdacb2c74e17e23af992a89