Paper Citation Record · LEDGER

Probabilistic Strategy Logic with Degrees of Observability

As of 18 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2412.15135.

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

pith.paper-citation-record.v1
2412.15135 v3

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T11:40:40.775278Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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

41 of 41 outbound references displayed

verified exact1
verified fuzzy23
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 137d0748-dd94-4efe-943d-4c97748c3ae3 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:41.319400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a64317e3-a9bc-4bcd-b61b-10765f8d716d · outbound

This paper cites Information Security and Cryp- tography, Springer (2020).

Probabilistic Strategy Logic with Degrees of Observability Information Security and Cryp- tography, Springer (2020)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.307866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4b6efba1-f4bf-404f-b88f-db0b0ab32962 · outbound

This paper cites In: IJCAI.

Probabilistic Strategy Logic with Degrees of Observability In: IJCAI

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.296412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 844357c1-308d-4309-bae8-50191171b136 · outbound

This paper cites In: Dastani, M., Sichman, J.S., Alechina, N., Dignum, V.

Probabilistic Strategy Logic with Degrees of Observability In: Dastani, M., Sichman, J.S., Alechina, N., Dignum, V

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.284669Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1acf4ddc-11e0-43f5-bdc8-bee6e1b84aee · outbound

This paper cites Algorithms in Real Algebraic Geometry: A Survey.

Probabilistic Strategy Logic with Degrees of Observability Algorithms in Real Algebraic Geometry: A Survey

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T11:40:40.620224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fe21b11-cdb1-4d2f-8e59-58a11f0d176a · outbound

This paper cites In: AAMAS.

Probabilistic Strategy Logic with Degrees of Observability In: AAMAS

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.271656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fa74211e-66d4-4797-9249-d5cd63bf02fc · outbound

This paper cites Artificial Intelligence 285, 103302 (2020).

Probabilistic Strategy Logic with Degrees of Observability Artificial Intelligence 285, 103302 (2020)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.260219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f990f153-4634-4644-ba56-ce5ba70145df · outbound

This paper cites ACM Trans.

Probabilistic Strategy Logic with Degrees of Observability ACM Trans

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.248905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c6cc4582-a41e-487c-b85d-584eaf1a1f2f · outbound

This paper cites In: Sankaranarayanan, S., Sharygina, N.

Probabilistic Strategy Logic with Degrees of Observability In: Sankaranarayanan, S., Sharygina, N

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.237706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 98d4e6a8-f060-4c0f-8bde-b5822c989fc7 · outbound

This paper cites In: LICS.

Probabilistic Strategy Logic with Degrees of Observability In: LICS

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.225489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6bc80ff7-3ff3-4810-8d91-d6115f251afc · outbound

This paper cites In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S.A.

Probabilistic Strategy Logic with Degrees of Observability In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S.A

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.214551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3df807cd-73d0-45b1-90ae-0724aed66f3c · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:41.203088Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bdd6103d-4331-4bfa-82d1-7f09a3f52c50 · outbound

This paper cites In: Lei, J.

Probabilistic Strategy Logic with Degrees of Observability In: Lei, J

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.190322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5f8afdcc-4d5c-41b4-9c86-ecca5dda2f15 · outbound

This paper cites In: AAMAS.

Probabilistic Strategy Logic with Degrees of Observability In: AAMAS

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.177756Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 20322465-92d4-45d9-a07a-3b39693d21bb · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:41.163739Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a307bd2a-0f3e-47a8-ae5c-42ccfdb72bbd · outbound

This paper cites In: AAAI.

Probabilistic Strategy Logic with Degrees of Observability In: AAAI

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.152681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7f002890-49eb-415c-9d69-e43f27d72682 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:41.141726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4dd5c0d9-fbbf-4b8e-8539-1dcbaeb8de35 · outbound

This paper cites International Journal on Software Tools for Technology Transfer 19(1), 9–30 (2017).

Probabilistic Strategy Logic with Degrees of Observability International Journal on Software Tools for Technology Transfer 19(1), 9–30 (2017)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.129994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1d236543-3eac-4e24-b78f-4160406a4bf8 · outbound

This paper cites In: Larson, K., Winikoff, M., Das, S., Durfee, E.H.

Probabilistic Strategy Logic with Degrees of Observability In: Larson, K., Winikoff, M., Das, S., Durfee, E.H

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.118432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 10bb9f61-838c-4b58-944b-13bddee6c84d · outbound

This paper cites In: ECAI.

Probabilistic Strategy Logic with Degrees of Observability In: ECAI

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.106248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a80fb00a-61e0-4bdd-b4fe-0b44281dd14f · outbound

This paper cites preliminaries.

Probabilistic Strategy Logic with Degrees of Observability preliminaries

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.093398Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4d12659e-9ea6-4f2d-ad7d-7cc5eaa05de3 · outbound

This paper cites In: van der Hoek, W., Lomuscio, A., de Vink, E.P., Wooldridge, M.J.

Probabilistic Strategy Logic with Degrees of Observability In: van der Hoek, W., Lomuscio, A., de Vink, E.P., Wooldridge, M.J

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.080068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 989c9e13-735b-45bb-add0-9bf4d5c61659 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:41.068266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e8f9d98d-f1a9-4625-961b-b86f2d5a18c0 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:41.056804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fa034bda-9a06-4268-ac1f-1bb8faa7c042 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:41.044766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 69cfd3d6-9a18-4bf1-bd2d-a22e2af79575 · outbound

This paper cites For the first path, we keep track of the corresponding state of AΦ; for the second, we keep track of A¬Φ.

Probabilistic Strategy Logic with Degrees of Observability For the first path, we keep track of the corresponding state of AΦ; for the second, we keep track of A¬Φ

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.031508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f70cb0e1-06bd-4775-b0ae-6790475f9203 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:41.018280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 10f5b69e-9983-44fd-a8b9-c4af312b1b62 · outbound

This paper cites So we need to be able to express reachability.

Probabilistic Strategy Logic with Degrees of Observability So we need to be able to express reachability

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:41.004937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 31fb418d-6a4c-45f7-8427-53bd7415879a · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:40.990043Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6ce772cb-622a-42cd-8cab-0ec59c25cd96 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:40.977289Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e6c2d434-6f56-45c6-af99-6fae563b288f · outbound

This paper cites The set F NBA obsi¬Φ of accepting states is defined as F NBA obsi¬Φ := S × S × F¬Φ.

Probabilistic Strategy Logic with Degrees of Observability The set F NBA obsi¬Φ of accepting states is defined as F NBA obsi¬Φ := S × S × F¬Φ

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:40.964920Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 43941722-731d-4c01-8fad-5c34ce99620e · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:40.951846Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7c5d3f54-f8b6-44c6-a157-07a3c064ca35 · outbound

This paper cites The DRA ADRA obsi¬Φ = ( QDRA, δDRA, qDRA ∗ , AccDRA) is defined as follows.

Probabilistic Strategy Logic with Degrees of Observability The DRA ADRA obsi¬Φ = ( QDRA, δDRA, qDRA ∗ , AccDRA) is defined as follows

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:40.938961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 189cdb65-7e7d-4201-8667-3729423e9c73 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:40.926109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6133ac8f-195e-4807-bb6d-45a91e6355ec · outbound

This paper cites The macrostate of w is set to be K ∩ F NBA obsi¬Φ.

Probabilistic Strategy Logic with Degrees of Observability The macrostate of w is set to be K ∩ F NBA obsi¬Φ

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:40.913317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 911d98df-da86-45c0-ac66-1356125fa680 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:40.900064Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d083adae-c30a-4888-944c-46b1032473e6 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:40.887111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d0907e55-b7bd-43c9-baad-f5ff56205a0d · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:40.872286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a47105a2-a54a-4f8c-896e-592495be7a94 · outbound

This paper cites an unresolved cited work.

Probabilistic Strategy Logic with Degrees of Observability Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-11T11:40:40.858297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 44f0bc28-b3ea-4ca9-a64c-51ec309414e2 · outbound

This paper cites Algorithms in Real Algebraic Geometry.

Probabilistic Strategy Logic with Degrees of Observability Algorithms in Real Algebraic Geometry

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T11:40:40.845787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1b1a7085-a920-4485-82b3-9bc9607ec991 · outbound

This paper cites https://doi.org/10.1007/3-540-36387-4_3 Probabilistic Strategy Logic with Degrees of Observability 27 is twice as many symbols as the amount of states in our NBA).

Probabilistic Strategy Logic with Degrees of Observability https://doi.org/10.1007/3-540-36387-4_3 Probabilistic Strategy Logic with Degrees of Observability 27 is twice as many symbols as the amount of states in our NBA)

Reference 2500

Resolution: verified exact; doi, observed 2026-08-11T11:40:40.814664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.