Paper Citation Record · LEDGER

Responsibility in Actor-Based Systems

As of 23 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2412.05162.

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

pith.paper-citation-record.v1
2412.05162 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T20:59:43.997534Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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

40 of 40 outbound references displayed

verified exact11
verified fuzzy9
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 47e75d95-6873-458c-909d-8946be8a02df · outbound

This paper cites Reactive modules.

Responsibility in Actor-Based Systems Reactive modules

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.829643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9496cda-b295-44ad-b468-f5bee3caf598 · outbound

This paper cites Backward responsibility in transitio n systems using general power indices.

Responsibility in Actor-Based Systems Backward responsibility in transitio n systems using general power indices

Reference 2

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.305848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8ef4b905-615a-498f-b159-8dc688008aa9 · outbound

This paper cites From Veriﬁcation to Causality-Based Explications (Invited Talk).

Responsibility in Actor-Based Systems From Veriﬁcation to Causality-Based Explications (Invited Talk)

Reference 3

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.292273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2775b595-888b-47a0-b9d8-8d6f480d21b7 · outbound

This paper cites A Game-Th eoretic Account of Responsibility Allocation.

Responsibility in Actor-Based Systems A Game-Th eoretic Account of Responsibility Allocation

Reference 4

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.278637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d9cf67bc-67be-4b56-a572-9d6c57683f56 · outbound

This paper cites Responsib il- ity Attribution in Parameterized Markovian Models.

Responsibility in Actor-Based Systems Responsib il- ity Attribution in Parameterized Markovian Models

Reference 5

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.264960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b1293173-c697-40bb-834f-cc276f3af751 · outbound

This paper cites Principles of model checking.

Responsibility in Actor-Based Systems Principles of model checking

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T20:59:44.809481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f9775ac6-c3bc-4839-a9c4-ac4a0c7f2dce · outbound

This paper cites From symptom to cause: localizing errors in counterexample traces.

Responsibility in Actor-Based Systems From symptom to cause: localizing errors in counterexample traces

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.859166Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0419c7a-a345-4ce6-bef8-1a0da4d1b256 · outbound

This paper cites Explaining counterexamples using causality.

Responsibility in Actor-Based Systems Explaining counterexamples using causality

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.863210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b88618be-c835-429e-aa4a-4de08c915e64 · outbound

This paper cites On correctness, precision, and performance in quantitative veriﬁca tion: QComp 2020 competition report.

Responsibility in Actor-Based Systems On correctness, precision, and performance in quantitative veriﬁca tion: QComp 2020 competition report

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.867161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99258d04-b9c6-4ffb-ab87-547230c212c7 · outbound

This paper cites A Fr ame- work for Certiﬁed Program Analysis and Its Applications to Mobile-Co de Safety.

Responsibility in Actor-Based Systems A Fr ame- work for Certiﬁed Program Analysis and Its Applications to Mobile-Co de Safety

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.870776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3235e9d2-22e3-47d8-88e8-8cd8bc836226 · outbound

This paper cites Causality and Responsibility for Formal Veriﬁca tion and Beyond.

Responsibility in Actor-Based Systems Causality and Responsibility for Formal Veriﬁca tion and Beyond

Reference 11

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.226576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 65e24d5a-ae8a-47f5-9637-7118b935a29c · outbound

This paper cites Eﬃcient Aut omatic STE Reﬁnement Using Responsibility.

Responsibility in Actor-Based Systems Eﬃcient Aut omatic STE Reﬁnement Using Responsibility

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.878029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd5ea6da-66ea-4aff-8ed3-a56b97ac9768 · outbound

This paper cites Responsibility and Blame: A Structural-Model Approach.

Responsibility in Actor-Based Systems Responsibility and Blame: A Structural-Model Approach

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T20:59:44.795744Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 865b37f5-b7a2-455a-ad5d-577b71274f59 · outbound

This paper cites Wha t causes a system to satisfy a speciﬁcation?.

Responsibility in Actor-Based Systems Wha t causes a system to satisfy a speciﬁcation?

Reference 14

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T20:59:44.604229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0f0370a5-3c03-432a-acf7-af3c003bcd35 · outbound

This paper cites Clarke, Orna Grumberg, and Doron A.

Responsibility in Actor-Based Systems Clarke, Orna Grumberg, and Doron A

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T20:59:44.782096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 181d53ac-2589-41e9-b5be-8b4eedcb8272 · outbound

This paper cites Clarke, Thomas A.

Responsibility in Actor-Based Systems Clarke, Thomas A

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.899208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7f3d6d6-852d-41a3-850d-974d690b71f9 · outbound

This paper cites Responsibility of AI Sy stems.

Responsibility in Actor-Based Systems Responsibility of AI Sy stems

Reference 17

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.182291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8478ff5f-636a-448c-b06c-f6caac981dd2 · outbound

This paper cites Games on Graphs: From Logic and Automata to Algorithms.

Responsibility in Actor-Based Systems Games on Graphs: From Logic and Automata to Algorithms

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.908502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13668a16-7cfb-424d-aa01-d707466532b7 · outbound

This paper cites Automata, Logics, and Inﬁnite Games: A Guide to Current Research [outc ome of a Dagstuhl seminar, February 2001].

Responsibility in Actor-Based Systems Automata, Logics, and Inﬁnite Games: A Guide to Current Research [outc ome of a Dagstuhl seminar, February 2001]

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.913289Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24c1a28e-9bae-4104-8a48-a22237f70a40 · outbound

This paper cites Error explanation with distance metrics.

Responsibility in Actor-Based Systems Error explanation with distance metrics

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.918044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69ee86f9-11ce-4d81-ad70-44d9849c7a2d · outbound

This paper cites What went wrong: Explaining counte rex- amples.

Responsibility in Actor-Based Systems What went wrong: Explaining counte rex- amples

Reference 21

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.138195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 38c2d7ea-507c-455d-9524-905f627d5765 · outbound

This paper cites Causes and explanations: A structural-model approach. Part I: Causes.

Responsibility in Actor-Based Systems Causes and explanations: A structural-model approach. Part I: Causes

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T20:59:44.766776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b3096603-fdd3-4b98-a6a9-54243b6ff4cf · outbound

This paper cites Causes and explanations: A structural-model approach. Part II: Explanations.

Responsibility in Actor-Based Systems Causes and explanations: A structural-model approach. Part II: Explanations

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T20:59:44.752079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ca890b1d-a27f-4fc4-b516-27091b288c4e · outbound

This paper cites A Modiﬁcation of the Halpern-Pearl Deﬁnit ion of Causality.

Responsibility in Actor-Based Systems A Modiﬁcation of the Halpern-Pearl Deﬁnit ion of Causality

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T20:59:44.738248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 626eb364-104f-4eef-ac1e-9b651d87d65b · outbound

This paper cites Temporal-Safety Proofs for Systems Code.

Responsibility in Actor-Based Systems Temporal-Safety Proofs for Systems Code

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.939896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8886734f-5512-466c-96d1-e8b7fd5f65bb · outbound

This paper cites Cert i- ﬁcation for µ-Calculus with Winning Strategies.

Responsibility in Actor-Based Systems Cert i- ﬁcation for µ-Calculus with Winning Strategies

Reference 26

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.115486Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 18cc2ba2-0a34-472a-a2ab-ffde2c4968c5 · outbound

This paper cites PRISM 4.0: Veriﬁc ation of Probabilistic Real-time Systems.

Responsibility in Actor-Based Systems PRISM 4.0: Veriﬁc ation of Probabilistic Real-time Systems

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.948865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7aafd48-7257-4857-8e4e-da88a5541489 · outbound

This paper cites The PR ISM benchmark suite.

Responsibility in Actor-Based Systems The PR ISM benchmark suite

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.953213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94c68ca3-938b-4e06-8c45-b072760d4472 · outbound

This paper cites Evaluation of Measures for Statistical Fault Localisation and an Op - timising Scheme.

Responsibility in Actor-Based Systems Evaluation of Measures for Statistical Fault Localisation and an Op - timising Scheme

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.958118Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77699897-264a-4d92-9c48-0d8a8cdbee09 · outbound

This paper cites Tool to compute actor-based responsibility.

Responsibility in Actor-Based Systems Tool to compute actor-based responsibility

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T20:59:44.723375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f332be8f-7e7a-4ed1-96a0-b56023e4dc83 · outbound

This paper cites SpinCause: a tool f or causality checking.

Responsibility in Actor-Based Systems SpinCause: a tool f or causality checking

Reference 31

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T20:59:44.496341Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b5680a45-d2cd-46bb-a2b4-4694a5fd7f3a · outbound

This paper cites A formally veriﬁed compiler back-end.

Responsibility in Actor-Based Systems A formally veriﬁed compiler back-end

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.975636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f0c8d79-085c-4119-907f-5b83be231317 · outbound

This paper cites Responsibility and veriﬁcation: Importance value in tempor al log- ics.

Responsibility in Actor-Based Systems Responsibility and veriﬁcation: Importance value in tempor al log- ics

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.979357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc6640e5-68aa-43ff-9cea-617f3cd4852e · outbound

This paper cites Certifying Model Checkers.

Responsibility in Actor-Based Systems Certifying Model Checkers

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.982824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c64ea7c3-a295-49b6-b005-9b45f43c5ac1 · outbound

This paper cites Proof-Carrying Code.

Responsibility in Actor-Based Systems Proof-Carrying Code

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.986565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb5b7b57-d21b-4fbc-824d-70c55e54286b · outbound

This paper cites The Relation Between Forward-Looking and Ba ckward- Looking Responsibility.

Responsibility in Actor-Based Systems The Relation Between Forward-Looking and Ba ckward- Looking Responsibility

Reference 36

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.034727Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7646c54b-66c9-405d-ba5b-b26d1aaa77c8 · outbound

This paper cites A value for n-person games.

Responsibility in Actor-Based Systems A value for n-person games

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T20:59:44.709387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 903bb9fe-e560-4983-9847-712ba184dc1b · outbound

This paper cites Strategic Responsibility Under Imper- fect Information.

Responsibility in Actor-Based Systems Strategic Responsibility Under Imper- fect Information

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T20:59:44.695450Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 411be081-a77f-4c4c-9bce-356d93e5929b · outbound

This paper cites url: https://doi.org/10.1613/jair.

Responsibility in Actor-Based Systems url: https://doi.org/10.1613/jair

Reference 115

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.204446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d47d4658-79d6-4673-88f9-b9492fe665c0 · outbound

This paper cites url: https://doi.org/10.

Responsibility in Actor-Based Systems url: https://doi.org/10

Reference 2024

Resolution: verified exact; doi, observed 2026-08-11T20:59:44.075877Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

No inbound Pith citation observations are available.