{"as_of":"2026-08-08T05:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2d1c7f339f4cd85410c72ab34f8a532122380bc9b061296fd50faae9488a9df3","coverage":[{"denominator":56,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":56,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T06:09:08.343338Z","state":"measured"},{"denominator":56,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":56,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.06172/citation-record","integrity":"/paper/2506.06172/integrity","json":"/paper/2506.06172/citation-record.json","paper":"/paper/2506.06172"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/lmcs-20(3:14)2024","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:10.792734Z","title":"Complexity results for modal logic with recursion via translations and tableaux","venue":null,"work_id":"d5f90dde-c926-4618-8580-184a5496b8ba","year":2024},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:03.496682Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:cc4dbc3b024646b7aa10c0992fc698be017b2aaf21ef84b3d0ff6bad638ccfae","observation_id":"1ae95bf8-fbdd-4707-aa59-681475402cc4","resolution":{"observed_at":"2026-08-07T06:09:10.849368Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:03.669018Z","title":"A monitoring tool for linear-time \\( \\) HML","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:03.669018Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:8b85eb6592e851c2237f0c2feb160d3ae0e50667f144d82b1a0535cbc19d1cb6","observation_id":"44962804-0746-4f07-a344-ba6728f6a7f8","resolution":{"observed_at":"2026-08-07T06:09:03.669018Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.10051","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:12.148255Z","title":"Determinizing monitors for HML with recursion","venue":null,"work_id":"31138e34-058f-4357-a693-40faa7cc61c2","year":2020},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:03.702249Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:3f0c2f6403bbc88d48125a700bd7a7816ee827f999bcb9461852ba988f1952d1","observation_id":"20c4772e-4fa3-4e01-a773-fe58b3f417ea","resolution":{"observed_at":"2026-08-07T06:09:12.249640Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:03.720945Z","title":"Adventures in monitorability: from branching to linear time and back again","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:03.720945Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:f3bcc16bdee4b8805172b717d90fb96f983e0ef31f97a1a470cfbe374217c8fa","observation_id":"2c9dd684-7043-422c-9d59-97f26255b105","resolution":{"observed_at":"2026-08-07T06:09:03.720945Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2021.7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:10.665021Z","title":"The best a monitor can do","venue":null,"work_id":"3533b1d5-2eef-419e-924e-be964b4d944c","year":2021},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:03.796938Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:930e62b178406a28e34a62bf194d6fdbd45b97843841f8878b11a10fdc45d782","observation_id":"16ffb55e-8cea-4b23-a8b9-f9160802ec2e","resolution":{"observed_at":"2026-08-07T06:09:10.727331Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:14.353270Z","title":"O n R untime E nforcement via S uppressions","venue":null,"work_id":"bbb6561a-a52c-47f3-9c9f-56e9cc3abd0e","year":2018},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:03.904284Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:9311e651e87ae324957d3ebf3f40b5a3f4a733d0c3a0b7899ab559a66c41326c","observation_id":"1ed3f07b-a485-400b-bfd2-da96a4b6f749","resolution":{"observed_at":"2026-08-07T06:09:14.565310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:03.997831Z","title":"Hendren, Sascha Kuzins, Ondrej Lhot \\' a k, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:03.997831Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:58234d3c834502085212ec3c03f382bac56afd7ed001982446f062741ad0ac2b","observation_id":"c35b0df0-5200-44c3-98c5-5968e2c15ba1","resolution":{"observed_at":"2026-08-07T06:09:03.997831Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:04.081425Z","title":"Schneider","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.081425Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:7ae74b3dfae8af03e3c494f5e8b266ed8829035d6b53676e96926e68ea34c468","observation_id":"87dabd49-a476-4401-a17c-f74fa3692bf5","resolution":{"observed_at":"2026-08-07T06:09:04.081425Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6490.6494","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:11.965849Z","title":"Apt and Gordon D","venue":null,"work_id":"54533d26-6bfa-45d0-8c47-143b10b7e8dc","year":1986},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.167241Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:2df9c90eb0acf37af21a2d36a297cdff192811b986fa2ba89fbaa77242b6f9d8","observation_id":"64bca05e-ec54-463a-a900-bd43b732afc6","resolution":{"observed_at":"2026-08-07T06:09:11.977749Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:14.145554Z","title":"Principles of Model Checking","venue":null,"work_id":"73ad3762-d728-4f6b-bad7-2fca6cd653a7","year":2008},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.255746Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:c45ee83a6b563337cf780c9701c75ec0dde0b9d5c5dc0f2abe0b31e19c5cae64","observation_id":"5fc020d8-928e-4d7d-a606-934ffaf4e603","resolution":{"observed_at":"2026-08-07T06:09:14.272250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-32759-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Rydeheard","venue":"Lecture notes in computer science","work_id":"2418bad1-f553-4511-8467-2a58c7506ea1","year":2012},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.358447Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:e07d0d45f1875295a1afcb86226d5973a7d91a2270791ab7a21408aa1acf51a5","observation_id":"fa8b0c2e-f6b3-462b-a0b3-75c5ba517a73","resolution":{"observed_at":"2026-08-07T06:09:10.602159Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:04.442614Z","title":"Rule-based runtime verification","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.442614Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:f047ab44aae9781ca6d2f580a4d23f98eecd2e8151afd9a00d046d5abfe85fe5","observation_id":"62200f60-36f6-4b47-8abf-dcc9ff88f363","resolution":{"observed_at":"2026-08-07T06:09:04.442614Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-77395-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:10.422653Z","title":"Rydeheard, and Klaus Havelund","venue":null,"work_id":"62a62b69-462d-45c0-8342-f5968e529d72","year":2007},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.521537Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:4a28e4a754a95ce507131a4856f7984ebc18fed41b1634ad48a540aa43561960","observation_id":"3e723671-b4c4-46b1-ab38-5cf90b5595b0","resolution":{"observed_at":"2026-08-07T06:09:10.487778Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:13.953616Z","title":"I ntroduction to R untime V erification","venue":null,"work_id":"0d6ad19c-5612-496c-879b-c01285dae091","year":2018},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.632286Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:6cb5cefdd0814b7d70c4323efafaaf1556c437e5e7614686288b44e9f96866e6","observation_id":"2f927604-481a-4066-bb34-e1295ba67d85","resolution":{"observed_at":"2026-08-07T06:09:14.036196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:04.705078Z","title":"Basin, Felix Klaedtke, and Samuel M \\\" u ller","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.705078Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:605d9987f42acaf3c280cf9a42102993eaedbc950f3819b0218e3235575e92a3","observation_id":"baf9ef3d-df67-425a-b4e8-2a566af452f8","resolution":{"observed_at":"2026-08-07T06:09:04.705078Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-40787-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"From propositional to first-order monitoring","venue":"Lecture notes in computer science","work_id":"6348ce99-46e3-49f4-b892-2842379db5e8","year":2013},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.785455Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:c5080423b1823ae47c636fe8319fbb7ae240b948f45cee7a355cd9d37e62ead9","observation_id":"fbcef481-8595-46df-ba2b-f479910003b9","resolution":{"observed_at":"2026-08-07T06:09:10.344314Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2009.10.009","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:10.140122Z","title":"On notions of regularity for data languages","venue":null,"work_id":"e704abe6-1ef1-4816-807c-3600a4dab474","year":2010},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.886867Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:c74e0d37f7a2cf0e167d880648c6d4f83d45531d517c3ea1b63b4a55da17801a","observation_id":"8d09cae8-b5ad-49f0-9983-697aaf9cbbba","resolution":{"observed_at":"2026-08-07T06:09:10.213010Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:13.757597Z","title":"Slightly Infinite Sets","venue":null,"work_id":"abb59e43-b315-4516-8a8c-da5e9bb5c0c8","year":2019},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:04.968838Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:4a18b7459c44384941c8f154aa183f4a90d1cc13467a7dd1fc3f54c13138c41f","observation_id":"98b3235b-d536-4389-a028-1eb6a180381c","resolution":{"observed_at":"2026-08-07T06:09:13.813872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0398.19704","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:11.709125Z","title":"Two-variable logic on data words","venue":null,"work_id":"fb5837e2-4e51-44f2-b50e-eee856822df3","year":2011},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.025785Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:97158ec7487f5e6b5a3d5b3f869fded872f21e5f7c9698249426273e1064472f","observation_id":"f93b446f-36aa-4737-b4bb-ef3203ac5e60","resolution":{"observed_at":"2026-08-07T06:09:11.856679Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:05.105428Z","title":"Automata theory in nominal sets","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.105428Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:97a4266b27f6a93dcf188d7a685cbe32f687927766877fd385eeb13d67ac378c","observation_id":"93ad57ee-a7d1-47a3-9919-18b7aad25b6d","resolution":{"observed_at":"2026-08-07T06:09:05.105428Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:13.529072Z","title":"Narayan Kumar","venue":null,"work_id":"b80f51b3-ffcf-4278-8e33-e1f12144ce56","year":2012},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.201880Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:f376210b71aaf09d0b3846b36d267977c88eb7b152cfa44380b736ba927e8243","observation_id":"5f319a13-6443-4d51-9ed6-9fdf38670c01","resolution":{"observed_at":"2026-08-07T06:09:13.626423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:05.295852Z","title":"Bradfield and Colin Stirling","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.295852Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:93b8cb7067e166f531808a6d570ab6e05a86387eedd11416dab829e5000ef04f","observation_id":"e48ad982-0740-49d8-904c-f4bd02797764","resolution":{"observed_at":"2026-08-07T06:09:05.295852Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:05.368882Z","title":"Parametric trace slicing and monitoring","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.368882Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:ae2feb28a8994dfb07deba0ccba5dcc169ca438ee3822f1d5ec7f8faf9611bf0","observation_id":"87230e16-799a-4c02-9ad5-66fd90143ea3","resolution":{"observed_at":"2026-08-07T06:09:05.368882Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:05.423208Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.423208Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:bacdb4c22d6a1e497d351b39e9f40ba9758e6a932f32ba413c28b41e745bec56","observation_id":"8ddbd0ce-48ee-44ec-8ba6-41bb4d079094","resolution":{"observed_at":"2026-08-07T06:09:05.423208Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:05.527259Z","title":"CTL* and ECTL* as fragments of the modal -calculus","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.527259Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:3c7252eccc9b7f0cea571fc645c8243662c6aedb561097d0675f199bd229ee88","observation_id":"d0e5a5c9-cfcb-461e-b87f-24db8d332356","resolution":{"observed_at":"2026-08-07T06:09:05.527259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:13.347123Z","title":"Temporal logic, automata and classical theories","venue":null,"work_id":"f872e9cd-b5af-4852-82eb-d27cac918465","year":1994},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.670485Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:b6ae8d9befb01c8cd385f3faac9bb06fb530074a8df4218ebc531909da996afa","observation_id":"b71b24f0-8a16-4860-add7-d341f89b9393","resolution":{"observed_at":"2026-08-07T06:09:13.426094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:05.779032Z","title":"Efficient monitoring of omega-languages","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.779032Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:ace66b08998104329882228ecf43f0c058eb0d7f2bc3af31313009925c0e156e","observation_id":"574cea99-3707-4d22-a250-eccda1d40e89","resolution":{"observed_at":"2026-08-07T06:09:05.779032Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1208.5980","last_updated":"2012-08-29T18:25:03Z","snapshot_observed_at":"2026-07-31T17:01:28.628138Z","submitted_at":"2012-08-29T18:25:03Z","title":"In the Maze of Data Languages","version":1},"cited_work":{"arxiv_id":"1208.5980","doi":null,"metadata_source":"pith","pith_arxiv_id":"1208.5980","snapshot_observed_at":"2026-08-07T06:09:11.467468Z","title":"In the Maze of Data Languages","venue":"cs.FL","work_id":"db7f697c-074d-412a-93af-f7aebde6b01f","year":2012},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.879333Z"},"links":{"cited_paper":"/paper/1208.5980","citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:f721353356fcc7f603faf6bc75867d45490076201f5fb78f713ccdcbfb6f0a74","observation_id":"588ebeb7-ffd1-4f20-8f60-f610d6fd2c60","resolution":{"observed_at":"2026-08-07T06:09:11.533281Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-015-0380-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:10.001889Z","title":"Monitoring modulo theories","venue":null,"work_id":"ac946004-d38f-42cb-b75a-cd4bb37581a9","year":2016},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:05.953192Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:add573e97c29b757ba975cbb073b3bfd41bc50a2cebb7c823183bbeaac927ae2","observation_id":"102635ac-39ec-46a7-8faf-6c3f7af51733","resolution":{"observed_at":"2026-08-07T06:09:10.044330Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:06.060181Z","title":"LTL with the freeze quantifier and register automata","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.060181Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:2074b9719248fa9de54ddbf90055013a234e0086b497705b74b2615a7bde1e02","observation_id":"317fc83c-d74a-4766-9a82-a96a2182b5c2","resolution":{"observed_at":"2026-08-07T06:09:06.060181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:06.133315Z","title":"On the freeze quantifier in constraint LTL: decidability and complexity","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.133315Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:16f811472a1922011a7824883d48c24c6a37e16609c7638fe483d327cf0bd447","observation_id":"639f44a0-b00d-497b-a9b6-93b2a5544d38","resolution":{"observed_at":"2026-08-07T06:09:06.133315Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-54013-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Seshia, and Hadas Kress - Gazit","venue":"Lecture notes in computer science","work_id":"b0950181-b400-457f-b830-b850214816ee","year":2014},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.212278Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:1f5b5fe649aa82b558f642d4cc7896cb18748ba1b830dd85b5d984753ac3004f","observation_id":"31f1c26e-bed7-41d6-bd2b-89f452e3f547","resolution":{"observed_at":"2026-08-07T06:09:09.918581Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/b978-0-444-88074-1.50021-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:09.722440Z","title":"Allen Emerson","venue":null,"work_id":"52e285cd-a7fe-4d2b-82ae-dc85f4796c07","year":1990},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.296306Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:8df9770562e5824dfc9faf810b5656b9028606c1f04147f93264d49f849b04fa","observation_id":"87bbcded-7c3c-4f18-ae9a-33d4aa3a7dda","resolution":{"observed_at":"2026-08-07T06:09:09.805133Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:13.137986Z","title":"Automatic Synthesis of Systems with Data","venue":null,"work_id":"6557af04-f030-4d88-9077-32e829c5b637","year":2021},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.398385Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:e924a6b1b5bb58078872f6331a80d1cad917f6fc1be82f06329e55f211e7e1fd","observation_id":"e3071793-f675-4f17-a83a-a6528f59d942","resolution":{"observed_at":"2026-08-07T06:09:13.244315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:12.965863Z","title":"Synthesis of data word transducers","venue":null,"work_id":"bbde7403-175f-4b17-befb-3698594fb92f","year":2021},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.477953Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:26f51ae866adcdb139a9c9a0f565ccf32533e818d271dbc1f7d52a82813b3600","observation_id":"f91f05b5-63cf-4e41-bbab-3740e42c27b4","resolution":{"observed_at":"2026-08-07T06:09:13.021468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-021-00609-z","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:09.566024Z","title":"A taxonomy for classifying runtime verification tools","venue":null,"work_id":"df285a5c-7482-4929-a47c-a4560b1f12cc","year":2021},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.551734Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:415326b0d8277a32ed447237cd1aada5e428d834c9b7e8a34674559f6299f031","observation_id":"22e31aa3-1f8b-48aa-b827-13a4329fb5c5","resolution":{"observed_at":"2026-08-07T06:09:09.648690Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:12.712055Z","title":"Reasoning on words and trees with data","venue":null,"work_id":"4550eeb9-aded-4058-b264-d78660b24c6d","year":2010},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.660639Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:cac6a626509b4c89193a5f9dfb58a698839db22fd4494a187aa129570d1dc263","observation_id":"f93f6adf-f31c-4cd8-830f-0bcd027412cb","resolution":{"observed_at":"2026-08-07T06:09:12.828142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-8(1:22)2012","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:09.401095Z","title":"Alternating register automata on finite words and trees","venue":null,"work_id":"2c2a238b-311f-4f11-855a-e751742d6b14","year":2012},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.768372Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:131c47acc81fad833ad257b395036391ff802d471c92b760b2923979c252842b","observation_id":"cf932c6a-66e0-40c0-af7f-d015b3526f11","resolution":{"observed_at":"2026-08-07T06:09:09.489973Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:06.879903Z","title":"Relating timed and register automata","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.879903Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:419cb647caaf4a01cab3d20541ff8b0f04071da98867b7f506dcd5ee2215e5e1","observation_id":"298161a6-34a1-4c1e-9413-c03fb56fff54","resolution":{"observed_at":"2026-08-07T06:09:06.879903Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:12.548138Z","title":null,"venue":null,"work_id":"66aa8f2a-823b-45d7-bfb1-d01a65fa1a8f","year":2020},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:06.989595Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:5a6f05fabfc6efe3830a250f4d3ebf49c96b02e79c94a168c2bab8379a05e354","observation_id":"4aa9cef4-3329-4522-be70-1a7d3cc0f7d5","resolution":{"observed_at":"2026-08-07T06:09:12.616652Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:07.079428Z","title":"Temporal stream logic: Synthesis beyond the bools","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.079428Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:55d8f5ea909e9eee610c61d78dc93f48f977df43b129e4b04a20bbd68812a5cd","observation_id":"055b9960-69cf-4b0e-86bb-c3826d6b5ede","resolution":{"observed_at":"2026-08-07T06:09:07.079428Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-36742-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Runtime verification based on register automata","venue":"Lecture notes in computer science","work_id":"0c38fc91-a5dc-4f37-8fa0-addf808cb596","year":2013},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.175834Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:b301aa4181719c17a336214b4616d2f974eaa99db5ab51b2e461211ae782e854","observation_id":"02f14f01-aa1d-4d19-b0bc-59cfc9225216","resolution":{"observed_at":"2026-08-07T06:09:12.470648Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-49253-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Verification of temporal properties of processes in a setting with data","venue":null,"work_id":"64cfde41-ec93-48e9-889b-be143189d8d8","year":1999},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.251793Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:057461c1d41c9100c206ec7840761bb233d0c3a07c2dac26f37f5714cd95236a","observation_id":"e759df30-5e40-4a4d-a1cd-39aecc2e6458","resolution":{"observed_at":"2026-08-07T06:09:09.299193Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:07.306255Z","title":"Monitoring events that carry data","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.306255Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:abc340d18022b434eacf02bbb24479890ac10e520007128b9ea1e9ddb859a019","observation_id":"a79938cd-48b6-4064-aa0f-04ae129a92b7","resolution":{"observed_at":"2026-08-07T06:09:07.306255Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:07.383445Z","title":"Finite-memory automata","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.383445Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:f5774c9c0e81425d717958624fb68c205ec3c593f605a28d4d89855ae428acdc","observation_id":"f933e477-38fd-46c8-ae8a-171f1257cb42","resolution":{"observed_at":"2026-08-07T06:09:07.383445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.2007.11","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:09.040406Z","title":"Alternation-free modal mu-calculus for data trees","venue":null,"work_id":"9a7b3ef7-3fe7-44e4-aab4-d778d8926337","year":2007},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.483118Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:d9e11e0da70e26357d90b9109a83bdf8bb1b81964d4e2fb56e3635f55cb5a87b","observation_id":"c4e8a244-734e-4e56-98f0-ecdea8e253f0","resolution":{"observed_at":"2026-08-07T06:09:09.100706Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:07.569252Z","title":"Finite-memory automata with non-deterministic reassignment","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.569252Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:af5b4135d84cadea2720601af734e80e08ba308029606c37cbda960cad33efa4","observation_id":"0725b8df-8f56-42b8-806a-034fea59051a","resolution":{"observed_at":"2026-08-07T06:09:07.569252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-011-0198-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:08.866047Z","title":"An overview of the MOP runtime verification framework","venue":null,"work_id":"fdf93713-b14a-460c-8341-381b083eb1f4","year":2012},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.650884Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:23ec0ff7d9fce014af9ad4ef2ad7e6adf9ae100e855eccb4bd0a4a155a268824","observation_id":"5b48e055-66b8-4e2d-988a-b9ee5b5004b7","resolution":{"observed_at":"2026-08-07T06:09:08.938926Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1057/jit.1987.12","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:08.746134Z","title":"Is computing an experimental science? J","venue":null,"work_id":"84956425-62e1-4595-aa0a-2a8907ab5996","year":1987},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.737911Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:ef46c6050823157e1dbcf45f6315714258daf9a440ebc8897d83eba7f73aeca6","observation_id":"6dd789ba-911c-4c24-b81e-f68b8b243d65","resolution":{"observed_at":"2026-08-07T06:09:08.820982Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3560.10135","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:11.254320Z","title":"Finite state machines for strings over infinite alphabets","venue":null,"work_id":"c72d2042-c0a2-4dea-b62e-da7822e086e8","year":2004},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.803883Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:b6b899987027788dacd5199c93c838614065ca3ca6682e4233886d9ce0882483","observation_id":"852a3c92-7c2e-4b82-b889-80395f44010f","resolution":{"observed_at":"2026-08-07T06:09:11.331364Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-40608-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"47d8fdca-fe5c-4d6d-9455-4c07ed47097f","year":2020},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:07.920128Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:a5c8d63f68968d7f007f76c776e37270b940e6b977c075028b3eb669eac8fe31","observation_id":"81935153-8f06-4bc4-bc3f-989461c26f24","resolution":{"observed_at":"2026-08-07T06:09:08.625432Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/cbo9781139084673","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:08.435162Z","title":null,"venue":null,"work_id":"6a538695-4b9f-4e8b-b92e-c0aae09d1089","year":2013},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:08.019063Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:1dbfe8e9554f6ff5c8cb041f03d683499c7ed9046fb57ad138404f824cb5eecf","observation_id":"f2f4e003-e0a9-4279-b375-dbbe62e30f18","resolution":{"observed_at":"2026-08-07T06:09:08.469961Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:08.103448Z","title":"Automata and logics for words and trees over an infinite alphabet","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:08.103448Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:1b29866746e954f8f126cbf6d449d3666049d52ade6f2a781095d8731f139278","observation_id":"a5d09609-389f-4d7b-861b-eef3b6351772","resolution":{"observed_at":"2026-08-07T06:09:08.103448Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:08.204602Z","title":"Streett and E","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:08.204602Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:482dc78d2ad4d7c3a654211367c52a7811485869f1e71ee582e7bc587b8e7eba","observation_id":"e2da2150-815b-4396-a5c2-d3401903afb6","resolution":{"observed_at":"2026-08-07T06:09:08.204602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:08.251155Z","title":"A lattice-theoretical fixpoint theorem and its applications","venue":null,"work_id":null,"year":1955},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:08.251155Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:4919a151f74cb44bd5cd544c677213546c63977de51ecb8379f33948eff062f2","observation_id":"fe89a070-355c-49f9-b440-1e2c4a6674b2","resolution":{"observed_at":"2026-08-07T06:09:08.251155Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3560.73582","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T06:09:11.036950Z","title":null,"venue":null,"work_id":"c72907c7-8968-45ce-bf1c-ca117740c709","year":1988},"citing_paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:08.343338Z"},"links":{"citing_paper":"/paper/2506.06172"},"observation_digest":"sha256:902bc030ea9499c94f3c57add83d60cc4598341f01b44449de16a7fc836ce85a","observation_id":"4babcba6-e659-4241-9c84-a2bd4c86795d","resolution":{"observed_at":"2026-08-07T06:09:11.073436Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.06172","last_updated":"2025-06-06T15:36:24Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-08T00:20:04.649702Z","submitted_at":"2025-06-06T15:36:24Z","title":"Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory"},"reference_resolution":{"displayed":56,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":23,"verified_exact":21,"verified_fuzzy":9},"total_outbound_references":56},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 56 of 56 outbound references and 0 inbound Pith citation observations for arXiv:2506.06172."}