Pith. sign in

Paper Citation Record · LEDGER

Robust Probabilistic Bisimilarity for Labelled Markov Chains

As of 18 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-18T06:34:40.430872+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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:25.946838Z digest=sha256:77046c4a6c081faf0fa4c97c4c2f582d38bed41ebeb6e308fd6dcb5b1df349c6

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:26.100582Z digest=sha256:67835f91aabe63d2c0f2aff9bebe1e9e3b853efa22d346268606c127079c7295

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:26.254969Z digest=sha256:5d193017ed9d943c36632d0ceede958a6d924ff8342952bc75fd155dceb9ae34

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:26.344008Z digest=sha256:7c710bcc251151a4013dff8a821575978529390274ea654389009260cd36e687

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:26.601814Z digest=sha256:26117b2b8a2ecb3e2b8d6842092470798853289472530531050d4048728ca58c

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:27.034782Z digest=sha256:4d3b0629b383ac11ac0abb64950a14903adc8f22dfb2adf608f03890a82a0f43

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:27.297963Z digest=sha256:382d40e40c6a01ee436d07ddb443f1857d62f32c12d7e8066ba80e43bde22821

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:27.415910Z digest=sha256:29c84107e9fb3817ad90f16f85d0768a81f256c9e0808d0536836eb9683ea2fd

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:27.713783Z digest=sha256:51f4a41b4618f22fcb0619569b313d996445f910fa55e06298d7706212b7e47e

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:27.872805Z digest=sha256:46ad4e37a844239d4b2e6374da474b04e9da5561e38f32478bcdd9f56f8a553d

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:28.253027Z digest=sha256:902eae83a02acc5f7b38e2dc455f28557f6f5f2198a91f8e5ef78c74ae39e22a

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:28.408706Z digest=sha256:374b67d1b8a1de904ad198b26b775b8e33bb1ffae1a56109cfeecd39a6e79154

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:28.521558Z digest=sha256:86b5af6855fb01590e8cc8479679927efcbfa887d45ddf1be73344da758e6c07

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:29.000379Z digest=sha256:02c9da5d24d87c16f1ba40b173a0abe3ccebc00673715f88d456760b5d180ac3

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:29.362290Z digest=sha256:4a01a25756d12db7928bb7aab7a27316fb27f8a27db5dee54fefa835377f72d0

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:29.591548Z digest=sha256:2c6ef5695e683bd7d6f9e075e5c75f382c311f750e3d09ebc51a00bc45348b4d

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:29.782396Z digest=sha256:136b06ff4aa1077db8b3a72119e97e07375ececb6e6939a7e454a1d6c83536d2

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-07T15:26:30.268548Z digest=sha256:61041836a83f8bdae094ba3403318809145d4f8e86a2187bfdd3629ea3b8cad2

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-18T06:34:40.430872+00:00.

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