{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.25925","arxiv_id":"2607.25925","integrity":{"available":true,"endpoint":"/pith/2607.25925/integrity.json","summary":{"critical":0,"advisory":6,"informational":0,"by_detector":{"doi_compliance":{"total":6,"critical":0,"advisory":6,"informational":0}}},"clean":false,"detectors_run":[{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-05T06:51:05.750243Z","findings_count":6},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-05T06:38:23.120458Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-05T04:08:33.888020Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-04T15:28:01.484056Z","findings_count":0},{"name":"external_links","version":"1.0.0","status":"completed","ran_at":"2026-07-29T23:51:22.592730Z","findings_count":0},{"name":"shingle_duplication","version":"0.1.0","status":"skipped","ran_at":"2026-07-29T11:51:18.831008Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-07-29T03:57:59.823453Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-29T03:54:34.003623Z","findings_count":0}],"findings":[{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-319-21690-4_10) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-319-21690-4_10","detected_arxiv_id":null,"ref_index":14,"audited_at":"2026-08-01T01:12:48.403074Z"},{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/s10703-013-0183-7) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/s10703-013-0183-7","detected_arxiv_id":null,"ref_index":21,"audited_at":"2026-08-01T01:12:48.403074Z"},{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/3-540-45605-8_5) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/3-540-45605-8_5","detected_arxiv_id":null,"ref_index":24,"audited_at":"2026-08-01T01:12:48.403074Z"},{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-83723-5_15) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-030-83723-5_15","detected_arxiv_id":null,"ref_index":17,"audited_at":"2026-08-01T01:12:48.403074Z"},{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-031-90653-4_7) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-031-90653-4_7","detected_arxiv_id":null,"ref_index":20,"audited_at":"2026-08-01T01:12:48.403074Z"},{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-01090-4_34) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-030-01090-4_34","detected_arxiv_id":null,"ref_index":49,"audited_at":"2026-08-01T01:12:48.403074Z"}],"snapshot_sha256":"bda2c42ff88b0860eb42c03a69ffa1f2ff0c0b1ce6d7b3410c6a3d365284959a"},"events":[{"event_id":14822,"event_type":"pith.integrity.v1","payload_sha256":"4e8874a372461111c3010c2c18c77db8eeb55c99d2b75ccec7dc970724ce19f9","signature_b64":"TKvJNqx482vn65umwA0p9rXkdTgT3sieGkO25e8sdh2BR3GcJL0Ms2IbqCqOzUiZuLlfqk++6iVLoWBv7eEvCA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T01:16:23.808619+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-01090-4_34) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"K ˇretínský, J., Meggendorfer, T., Sickert, S.: Owl: A library forω-words, automata, and LTL. In: ATV A. Lecture Notes in Computer Science, vol. 11138, pp. 543–550. Springer (2018). https://doi.org/10.1007/978-3-030- 01090-4_34","arxiv_id":"2607.25925","detector":"doi_compliance","evidence":{"ref_index":49,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-030-","reconstructed_doi":"10.1007/978-3-030-01090-4_34"},"severity":"advisory","ref_index":49,"audited_at":"2026-08-01T01:12:48.403074Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-030-01090-4_34","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"efca49ce70427640bbf9f46ebd1f7eb19efff52ece17ce47b551afa7e0c32c36","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14821,"event_type":"pith.integrity.v1","payload_sha256":"d8aebce97ea87ded855c5c9183490e3d6eef015ec26bb2168456cddc8d8e3603","signature_b64":"KdpfKzGhqLjfiZWarR6r1Stl++RwMDrG+ygYcqw9cENdRf9iM0QIwZiClVQQzL+oiWqN2OYZqNCWJMATI8/oBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T01:16:23.596770+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/3-540-45605-8_5) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"D’Argenio, P.R., Jeannet, B., Jensen, H.E., Larsen, K.G.: Reduction and refinement strategies for probabilistic analysis. In: PAPM-PROBMIV. LNCS, vol. 2399, pp. 57–76. Springer (2002). https://doi.org/10.1007/3- 540-45605-8_5","arxiv_id":"2607.25925","detector":"doi_compliance","evidence":{"ref_index":24,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/3-","reconstructed_doi":"10.1007/3-540-45605-8_5"},"severity":"advisory","ref_index":24,"audited_at":"2026-08-01T01:12:48.403074Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/3-540-45605-8_5","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"120ff4bb09b9b5a098f168c47501d346a17934ffcac426b2e04437e3311d33c7","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14820,"event_type":"pith.integrity.v1","payload_sha256":"81b89d7b008a4f7740a057e803ad45038d2918d6c515d5a4aaf6f1a44f8c3745","signature_b64":"9TBE7vPAOnF4vopbU35eWJBZ0o2Ra0xGMDsOOVfGwLdJW1EvwX++fmA2ippn8HQJnr8voNP8MVSghKCPKXfgDw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T01:16:23.358624+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/s10703-013-0183-7) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Chen, T., Forejt, V ., Kwiatkowska, M.Z., Parker, D., Simaitis, A.: Automatic verification of competitive stochastic systems. Formal Meth- ods Syst. Des.43(1), 61–92 (2013). https://doi.org/10.1007/s10703-013- 0183-7","arxiv_id":"2607.25925","detector":"doi_compliance","evidence":{"ref_index":21,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/s10703-013-","reconstructed_doi":"10.1007/s10703-013-0183-7"},"severity":"advisory","ref_index":21,"audited_at":"2026-08-01T01:12:48.403074Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/s10703-013-0183-7","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"db55a3c467fff03774c25db3d1b93ff2101372e31c50beca2f90321300ae1b2c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14819,"event_type":"pith.integrity.v1","payload_sha256":"625efddd028dd240946749fa60012614c8cce0b09cffcac04216214df4eb5d15","signature_b64":"4V0FPMEoHVPwllVkVOqgZObvaNVyf82FOF1M4ZUF2I7k2qUITxF4bNXeDxTJd88Z+6Ie9RkKmNSCl4L7YeXtDA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T01:16:23.126398+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-031-90653-4_7) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., Zilken, D.: Fixed point certificates for reachability and expected rewards in MDPs. In: TACAS (2). Lecture Notes in Computer Science, vol. 15697, pp. 130–151. Springe","arxiv_id":"2607.25925","detector":"doi_compliance","evidence":{"ref_index":20,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-031-","reconstructed_doi":"10.1007/978-3-031-90653-4_7"},"severity":"advisory","ref_index":20,"audited_at":"2026-08-01T01:12:48.403074Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-031-90653-4_7","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"3f0cbb0fbb403b62ffa34031e26d59b343b3d029f7cb63c0d5f13d4926f4c0a1","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14818,"event_type":"pith.integrity.v1","payload_sha256":"03ee7127726c011db4951471393959f2cc132edcb3746a5d16503a0c1df21c94","signature_b64":"9lkLQJHrt0M3Q/9q7g6u8mDAH9N7LzGssfs6u84yQa1LvXKDqFcDbC+UAnF01ObO8xgykZGAVfD2noTlX0h1Bg==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T01:16:22.834006+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-83723-5_15) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Budde, C.E., Hartmanns, A., Klauck, M., K ˇretínský, J., Parker, D., Quatmann, T., Turrini, A., Zhang, Z.: On correctness, precision, and performance in quantitative verification - QComp 2020 competition report. In: ISoLA (4). Lecture Notes","arxiv_id":"2607.25925","detector":"doi_compliance","evidence":{"ref_index":17,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-030-83723-","reconstructed_doi":"10.1007/978-3-030-83723-5_15"},"severity":"advisory","ref_index":17,"audited_at":"2026-08-01T01:12:48.403074Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-030-83723-5_15","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"ac37d3b6ab3859f3d0f51ec4cdd38ef31006277c286f3bee7e31cecddbb5503d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":14817,"event_type":"pith.integrity.v1","payload_sha256":"e97558f98b1d48840bbb1924fdbe6e9f6c13aac34c662fed0c7db4b87e06d903","signature_b64":"DEcbIrNwJRgXaSwSGPva4SnYEmlDspiWz47CvmH9uVn7c2gXh+J+ONZN2IbKUjvr9l1OpyjsYTajT/pgYV8wCw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T01:16:22.537659+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-319-21690-4_10) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Brázdil, T., Chatterjee, K., Chmelik, M., Fellner, A., K ˇretínský, J.: Counterexample explanation by learning small strategies in Markov decision processes. In: CA V (1). Lecture Notes in Computer Science, vol. 9206, pp. 158–177. Springer ","arxiv_id":"2607.25925","detector":"doi_compliance","evidence":{"ref_index":14,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-","reconstructed_doi":"10.1007/978-3-319-21690-4_10"},"severity":"advisory","ref_index":14,"audited_at":"2026-08-01T01:12:48.403074Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-319-21690-4_10","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"0edec3226ff3b4ef72c396a553b4266dafb800bfa8719d9d90a1434508ced668","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.25925/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}