Pith. sign in

Paper Citation Record · LEDGER

Robust Probabilistic Bisimilarity for Labelled Markov Chains

As of 15 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 1 inbound Pith citation observation for arXiv:2505.15290.

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

pith.paper-citation-record.v1
2505.15290 v2

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:26:30.268548Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:26:02.944496Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-14T04:26:03.225927Z

Reference resolution

45 of 45 outbound references displayed

  • verified exact0
  • verified fuzzy42
  • unresolved3
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ba91d823-e29b-484c-9823-0ddfcbf4f26f · outbound

This paper cites In: Vitter, J.S., Spirakis, P.G., Yannakakis, M.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Vitter, J.S., Spirakis, P.G., Yannakakis, M

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:39.764204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:25.713115Z digest=sha256:edb56cb16d8768e14a34b3ccb2afc9efed6d29e5a2d769e415b62647afe46fde

Observation de5e0541-b9a8-4727-8ec0-06c263657a9f · outbound

This paper cites The MIT Press, Cambridge, MA, USA (2008).

Robust Probabilistic Bisimilarity for Labelled Markov Chains The MIT Press, Cambridge, MA, USA (2008)

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:39.619885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:25.823284Z digest=sha256:b53b93b0ef241cbd3ff57d4a5a6aff438f2efe60569eae1f6ab40ab822aedb9f

Observation 104756b5-cfa9-43b5-acc2-e4ef25002d19 · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Bisimilarity for Labelled Markov Chains Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-07T15:26:39.432316Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:25.946838Z digest=sha256:50b5174327aa540197ec27b0abb11e5610c3d2761365feede63722ce88477264

Observation a6a78d32-494f-4fa2-a4b5-2124fc524313 · outbound

This paper cites SIAM (1994).

Robust Probabilistic Bisimilarity for Labelled Markov Chains SIAM (1994)

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:39.296796Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:26.100582Z digest=sha256:23051e702312582bd76f8f0a2e8c1cfe1596290903752b721495eff1d4231c98

Observation c19586d8-b604-4089-af8e-fd4f6322c357 · outbound

This paper cites In: Orejas, F., Spirakis, P.G., van Leeuwen, J.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Orejas, F., Spirakis, P.G., van Leeuwen, J

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:39.124571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:26.254969Z digest=sha256:3ecda4a97c625618a8a8c294931b324e25b68e0c2b239395a557fcef2ff2cea8

Observation e48bd845-7ed6-48d9-8bde-c0b816e4a3a6 · outbound

This paper cites In: Bao, F., Li, H., Wang, G.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Bao, F., Li, H., Wang, G

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:38.930116Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:26.344008Z digest=sha256:0b5db8fbbc1b309287615f85f756fb90a888a17dcc88fe11e0e9fb6a2df30b33

Observation c8751d49-600b-4d73-8581-bf06173565e1 · outbound

This paper cites Logical Methods in Computer Science6(3) (2010).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Logical Methods in Computer Science6(3) (2010)

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:38.789540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:26.428647Z digest=sha256:e958eecf5af12eea6eaebc5bed4247dbcb81f8ae77dfe430ef8e7bc9cfde45ca

Observation bdf0365a-90da-499a-ab7e-3329c6914b15 · outbound

This paper cites In: Birkedal, L.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Birkedal, L

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:38.623893Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:26.512462Z digest=sha256:c0738a83443dd2f87753c41574922464b531ab4e9e3b786bae137389f8cf15e1

Observation 2c5222da-c0ad-45f8-a174-85e289593a17 · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Bisimilarity for Labelled Markov Chains Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-07T15:26:38.403820Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:26.601814Z digest=sha256:2b8adb4f9f684c582794f765bd12d20ad0b35759995bbbd3a069c578b9a32aca

Observation f0d632a0-66b3-46ed-89f6-e746ae854634 · outbound

This paper cites In: Burgard, W., Roth, D.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Burgard, W., Roth, D

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:38.215985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:26.753823Z digest=sha256:792bb65462d52d630265410ec7c7f7d4e812558489a4236a8a23ebf71c54a23f

Observation 6330bf98-598b-402b-ab49-952416d2112f · outbound

This paper cites Cambridge University Press, Cambridge, United Kingdom (2002).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Cambridge University Press, Cambridge, United Kingdom (2002)

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:38.059239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:26.907267Z digest=sha256:8684a86a0e9d261dc789cae23b2cb648da02848bc5f9b3caba2bf632c5f43a80

Observation a074fa2a-54ed-4608-8ef0-3454761dcc37 · outbound

This paper cites In: Proceedings of the 4th International Conference on the Quantitative Eval- uation of Systems.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 4th International Conference on the Quantitative Eval- uation of Systems

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:37.877011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.034782Z digest=sha256:27e2dafb01532dbfa79cefba17bd3929135d9aee7749da8aa4c2feac2cd1a284

Observation c2143b98-d832-45c3-bee5-9cb16ec052c8 · outbound

This paper cites Information Processing Letters87(6), 309–315 (2003).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Information Processing Letters87(6), 309–315 (2003)

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:37.689011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.185276Z digest=sha256:a442411e0e496072113537d9002e7238da18a28f61cc3e0a1de0512067330d6c

Observation 2967ae4f-5a91-44c0-809e-e18f828c1ae5 · outbound

This paper cites In: Baeten, J.C.M., Mauw, S.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Baeten, J.C.M., Mauw, S

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:37.389650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.297963Z digest=sha256:8a677ac215cd4b2041ce4b1c6b4e4a700e352650009e140855c52a1158b1dee7

Observation c2951b37-9bbf-4e19-affc-0adb3e6d8590 · outbound

This paper cites Theoretical Computer Science318(3), 323–354 (Jun 2004) 44 S.

Robust Probabilistic Bisimilarity for Labelled Markov Chains Theoretical Computer Science318(3), 323–354 (Jun 2004) 44 S

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:37.069706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.415910Z digest=sha256:362402e38eabad8211dcc3020bd31839523fd801bcb78fb8aef4f1292b0bcd7f

Observation 60ad7e09-90b1-456d-a967-43b48547fe2d · outbound

This paper cites In: Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:36.881744Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.533799Z digest=sha256:1d991fd0152bb81859e29f4df8a4f236e9e0e1f3e911f480008658699374e9fa

Observation 1bb56581-9bdb-4560-9870-f4619337d58c · outbound

This paper cites Land9(11) (Oct 2020).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Land9(11) (Oct 2020)

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:36.537791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.628428Z digest=sha256:727dfc26c4f97a2430a43b2574250ba9635f3d59b2f28a8a4ca04e1172e0e194

Observation 6bbbf94f-53f7-4725-ae9e-587022cb6f1a · outbound

This paper cites Publicationes Mathematicae6, 290–297 (1959).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Publicationes Mathematicae6, 290–297 (1959)

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:36.273908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.656362Z digest=sha256:da445267e6b3ffc65706facf1acddf36f3d8fd1a83313a1b6d511f7b99b657fa

Observation fda6c972-d779-4f89-8d62-a12d0bbc4b92 · outbound

This paper cites In: Laarman, A., Sokolova, A.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Laarman, A., Sokolova, A

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:35.956355Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.713783Z digest=sha256:917a40499bea571bcc7ce24299c9438a7c853022cdfb181aaeef72907f6b8a94

Observation 36d2c735-6c96-4e34-a45b-18ffc6600e04 · outbound

This paper cites In: Proceedings of the 37th International Conference on Computer Aided Verification.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 37th International Conference on Computer Aided Verification

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:35.678210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.872805Z digest=sha256:8d4d6c9fce0340895d7830ffe2eebfeabeb11469cbcb62ffeaca7769201993b6

Observation 594ccf95-72c5-4646-9c6a-9656ff0201ac · outbound

This paper cites Rand Corporation (1956).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Rand Corporation (1956)

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:35.490569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:27.956798Z digest=sha256:d642368d8511b0441cbad948aa4058e3a2f5e5f75dd48d4fac672418324c3af4

Observation a4d787d1-c5de-44a8-9446-1717073dd721 · outbound

This paper cites In: Broy, M., Jones, C.B.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Broy, M., Jones, C.B

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:35.244465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.040415Z digest=sha256:a0ebf3500f6f44eb58971be47dc472a161b0eaab80bc0a1e054dc6c7b22e6619

Observation d6d4e16e-fb1d-40c5-aae4-2f8f5fff610e · outbound

This paper cites In: Vojnar, T., Zhang, L.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Vojnar, T., Zhang, L

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:35.023552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.198351Z digest=sha256:eeaa44436029b12170f1004213700ddce5ed1831264286f01ab373f1123d1a7c

Observation 91916241-7f2f-4de6-8177-d4595a0870f6 · outbound

This paper cites International Journal on Software Tools for Technology Transfer 24(4), 589–610 (2022).

Robust Probabilistic Bisimilarity for Labelled Markov Chains International Journal on Software Tools for Technology Transfer 24(4), 589–610 (2022)

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:34.854655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.253027Z digest=sha256:683ea7a485cc5423d9fc58e126500d8cff432205db4e594ee5aabd1514dd94c1

Observation babf3284-9e1a-4904-9598-dcf71ebe777d · outbound

This paper cites Studies in Applied Mathematics20(1/4), 224–230 (Apr 1941).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Studies in Applied Mathematics20(1/4), 224–230 (Apr 1941)

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:34.719532Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.328926Z digest=sha256:04c9dc55dc889dd31439c024a16bbae4356d75e722532af0480de98a06b68ef2

Observation ac0dd25b-2677-4c43-98d2-ee7111ae6717 · outbound

This paper cites Lecture Notes in Computer Science, vol.

Robust Probabilistic Bisimilarity for Labelled Markov Chains Lecture Notes in Computer Science, vol

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:34.396524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.408706Z digest=sha256:39b31102d8918175e59b65bd671b179e0e146376cbbcdf9a603774956c97525a

Observation 32bf6eff-b55e-4190-9edd-7bb8037f9ca0 · outbound

This paper cites In: Proceedings of the 6th Annual Symposium on Logic in Computer Science.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 6th Annual Symposium on Logic in Computer Science

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:33.973229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.521558Z digest=sha256:0aac1fb4ad1bc01e9d289edb928299ad2e6ecbd9f2e861c59263219102f775ec

Observation 04b3fb2e-514a-404e-8353-a630473e5271 · outbound

This paper cites In: Proceedings of the 26th Annual ACM Symposium on Theory of Computing.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 26th Annual ACM Symposium on Theory of Computing

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:33.667176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.593752Z digest=sha256:d9e800b607d16ff9ad4cb22934bd3ab613ccdd604162aeeac945e0c8b64ce309

Observation ebe9d717-5740-4dc4-9f7b-00ba61086368 · outbound

This paper cites In: Proceedings of the 13th Inter- national Conference on Tools and Algorithms for the Construction and Analysis of Systems.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 13th Inter- national Conference on Tools and Algorithms for the Construction and Analysis of Systems

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:33.396518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.678102Z digest=sha256:f63e6b6c98a2fcb024380c20bb143f6b82675213471854cac50356f39c083dff

Observation be3023d2-1bf3-43de-9167-16a11d887709 · outbound

This paper cites Springer-Verlag, Heidelberg, Ger- many (1960) Robust Probabilistic Bisimilarity 45.

Robust Probabilistic Bisimilarity for Labelled Markov Chains Springer-Verlag, Heidelberg, Ger- many (1960) Robust Probabilistic Bisimilarity 45

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:33.125484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.793085Z digest=sha256:f02bc0669d67e42de8f70c5f6c4313682810821d32175a2215823d578449bc7c

Observation 30e2f82a-9faa-46ed-97e7-f643ddd24025 · outbound

This paper cites In: Johnson, D.S., Fagin, R., Fredman, M.L., Harel, D., Karp, R.M., Lynch, N.A., Papadimitriou, C.H., Rivest, R.L., Ruzzo, W.L., Seiferas, J.I.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Johnson, D.S., Fagin, R., Fredman, M.L., Harel, D., Karp, R.M., Lynch, N.A., Papadimitriou, C.H., Rivest, R.L., Ruzzo, W.L., Seiferas, J.I

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:32.890450Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:28.921673Z digest=sha256:fe4874a0c051edaab7483e7e7e0e77b4041205645b350c653392964f076f1ba2

Observation 4b1947a3-3663-45e0-8514-3cb341211020 · outbound

This paper cites In: Gopalakrishnan, G., Qadeer, S.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Gopalakrishnan, G., Qadeer, S

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:32.738124Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.000379Z digest=sha256:564872112686ee89e619969e1f58e14880934485feab5b8a7c3e3f3f3816f744

Observation 874b55e0-04d1-4a1e-9b15-78b848f7d1ab · outbound

This paper cites In: Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:32.585977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.104320Z digest=sha256:ec15626bdf05b3d7c016fe8db9e42a90d0016f4f64d1a550b59038f6d6e8f237

Observation df5248e1-ea83-4c1b-b8b2-7e146779aa61 · outbound

This paper cites Monographs in Computer Science, Springer (2004).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Monographs in Computer Science, Springer (2004)

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:32.436615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.210362Z digest=sha256:7105f3b235fa0f0a1b7c0307bfc6b49a66ff37dde5012bdfc69e2544c13ef9f5

Observation b15bd062-4898-4e1f-b791-40e6dbef7c0d · outbound

This paper cites Frontiers in Built Environment 3, 58 (Oct 2017).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Frontiers in Built Environment 3, 58 (Oct 2017)

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:32.263552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.293943Z digest=sha256:8ab29187506f19a55e4ee26c6aee14a1121c5f70cb537bb8d772b95c7a2e0a89

Observation 250f631f-7feb-415e-ae7b-a37508f6c3b7 · outbound

This paper cites Cambridge University Press, New York, NY, USA (1995).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Cambridge University Press, New York, NY, USA (1995)

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:32.092081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.362290Z digest=sha256:7ecc9ff0613e579721679d6ba1bd17b38de7ccb33443b924494bce42f2cb7f61

Observation 4140d32f-4265-44f1-8802-14489dd339fd · outbound

This paper cites In: Householder, A.S., Forsythe, G.E., Germond, H.H.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Householder, A.S., Forsythe, G.E., Germond, H.H

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:31.950063Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.457143Z digest=sha256:c89507d183eead9129a99d0c8c276f0eea426b12c1ed7b658ae6f80dee9be66e

Observation db1f1774-8fb9-428d-b017-6fa2518e2993 · outbound

This paper cites ClinicoEconomics and Outcomes Research9, 537–546 (Sep 2017).

Robust Probabilistic Bisimilarity for Labelled Markov Chains ClinicoEconomics and Outcomes Research9, 537–546 (Sep 2017)

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:31.773486Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.591548Z digest=sha256:3eb7b4ca1ae18d7c1cc28092b3f08bbc5e3517cbef4eff0d00a37d201d8e9093

Observation 046db900-795e-4333-9fa6-c90a820214d5 · outbound

This paper cites BIT Numerical Mathemat- ics 15(3), 331–334 (Sep 1975).

Robust Probabilistic Bisimilarity for Labelled Markov Chains BIT Numerical Mathemat- ics 15(3), 331–334 (Sep 1975)

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:31.627160Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.687596Z digest=sha256:d761715ebb5bed448d254ddd9cddd705fbfddc787108306689362c0737e1ce8f

Observation d74070fe-d3f0-436d-a531-b0c25df6910a · outbound

This paper cites Graduate Texts in Mathematics, Springer- Verlag, New York, NY, USA (1964).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Graduate Texts in Mathematics, Springer- Verlag, New York, NY, USA (1964)

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:31.481216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.782396Z digest=sha256:2c1285368948b73a0959bb2413854e4d822be0a0e6613cdd6379744efa857d07

Observation eca78ae1-43d7-4978-8fd2-e7fd13d08d4a · outbound

This paper cites PharmacoEconomics 39(8), 869–878 (Aug 2021).

Robust Probabilistic Bisimilarity for Labelled Markov Chains PharmacoEconomics 39(8), 869–878 (Aug 2021)

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:31.308761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:29.877500Z digest=sha256:f4b5240dd440746102e195f9e9462348d641e6730b12de29ce03426471e2b9f6

Observation 35e2e833-657a-4bc4-a37f-9c8117f418e7 · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Bisimilarity for Labelled Markov Chains Unresolved cited work

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-08-07T15:26:31.065806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:30.004973Z digest=sha256:376bc4f628b5ed0d42002e1898b8f27cf8bc5d16a6c58ae3a6f2ecf0159625fd

Observation c82ecbbf-aad7-4eae-ab3e-e52e401a993e · outbound

This paper cites In: Meyer, R., Nestmann, U.

Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Meyer, R., Nestmann, U

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:30.863658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:30.132578Z digest=sha256:2b4e949a2a980fd5bbc99a68272a71777753d59efef5d238b8f12d553606b7e5

Observation 76411eb7-c741-4134-ae54-8322bd88abb3 · outbound

This paper cites IET Systems Biology4, 193–211 (2010).

Robust Probabilistic Bisimilarity for Labelled Markov Chains IET Systems Biology4, 193–211 (2010)

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:30.688250Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:30.200802Z digest=sha256:bd9a4d373100d4e4f5904dac96d9f86281b11edf40ddb276abcaf79c8fc43618

Observation 76b3fbc1-eaac-4e60-8942-6f30eba8c1c6 · outbound

This paper cites Automated Software Engineering10(2), 203–232 (Apr 2003).

Robust Probabilistic Bisimilarity for Labelled Markov Chains Automated Software Engineering10(2), 203–232 (Apr 2003)

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T15:26:30.474350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-07T15:26:30.268548Z digest=sha256:9b2699c75c6371aefbf04df2ad2fe24d7beb63c2f3b060a73619a3f8fa6220e9

Pith citing papers

Observation f427e7f8-d8da-4714-a889-0d0b41930445 · inbound

Clustered Attractor Manifolds and Dynamical Condensation in Self-Attention cites this paper.

Clustered Attractor Manifolds and Dynamical Condensation in Self-Attention Robust Probabilistic Bisimilarity for Labelled Markov Chains

Reference 19

Resolution
verified exact
local_arxiv, observed 2026-08-14T04:26:03.232583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

source=pdf_text observed=2026-08-14T04:26:02.944496Z digest=sha256:f815a6a9867b53ed204b052c16fe0a8b9b1064de8f3edddd95703e248d310b2e