{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:LSONGJ4KPOVB7AGMMDDTRV4YR6","short_pith_number":"pith:LSONGJ4K","schema_version":"1.0","canonical_sha256":"5c9cd3278a7baa1f80cc60c738d7988fa1a9d93d4dbae2a0a9c48cf3ebccc4cf","source":{"kind":"arxiv","id":"2504.16528","version":1},"attestation_state":"computed","paper":{"title":"Quantitative Strategy Templates","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Anne-Kathrin Schmuck, Ashwani Anand, Irmak Sa\\u{g}lam, Ritam Raha, Satya Prakash Nayak","submitted_at":"2025-04-23T08:53:10Z","abstract_excerpt":"This paper presents (permissive) \\emph{Quantitative Strategy Templates} (QaSTels) to succinctly represent infinitely many winning strategies in two-player energy and mean-payoff games. This transfers the recently introduced concept of \\emph{Permissive (qualitative) Strategy Templates} (PeSTels) for $\\omega$-regular games to games with quantitative objectives. We provide the theoretical and algorithmic foundations of (i) QaSTel synthesis, and (ii) their (incremental) combination with PeSTels for games with mixed quantitative and qualitative objectives. Using a prototype implementation of our sy"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2504.16528","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.GT","submitted_at":"2025-04-23T08:53:10Z","cross_cats_sorted":[],"title_canon_sha256":"c5fce40f3c460022c432541430c22efbe60c33a73ec1c11654de3e8c63a41cfa","abstract_canon_sha256":"1afb2c51dc62c6d5f918edb2f3defd6583937d84254f0ac87ade74044456397d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:53:01.136486Z","signature_b64":"6XAu1EDSdnapcp4vzQCGt3O3PxezWth6cePYrLiViYQf/dDG1Nr7ThExRAameoiTy24qkMhv6grix3JrUfE8DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5c9cd3278a7baa1f80cc60c738d7988fa1a9d93d4dbae2a0a9c48cf3ebccc4cf","last_reissued_at":"2026-07-05T10:53:01.136003Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:53:01.136003Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantitative Strategy Templates","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Anne-Kathrin Schmuck, Ashwani Anand, Irmak Sa\\u{g}lam, Ritam Raha, Satya Prakash Nayak","submitted_at":"2025-04-23T08:53:10Z","abstract_excerpt":"This paper presents (permissive) \\emph{Quantitative Strategy Templates} (QaSTels) to succinctly represent infinitely many winning strategies in two-player energy and mean-payoff games. This transfers the recently introduced concept of \\emph{Permissive (qualitative) Strategy Templates} (PeSTels) for $\\omega$-regular games to games with quantitative objectives. We provide the theoretical and algorithmic foundations of (i) QaSTel synthesis, and (ii) their (incremental) combination with PeSTels for games with mixed quantitative and qualitative objectives. Using a prototype implementation of our sy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.16528","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.16528/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2504.16528","created_at":"2026-07-05T10:53:01.136064+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.16528v1","created_at":"2026-07-05T10:53:01.136064+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.16528","created_at":"2026-07-05T10:53:01.136064+00:00"},{"alias_kind":"pith_short_12","alias_value":"LSONGJ4KPOVB","created_at":"2026-07-05T10:53:01.136064+00:00"},{"alias_kind":"pith_short_16","alias_value":"LSONGJ4KPOVB7AGM","created_at":"2026-07-05T10:53:01.136064+00:00"},{"alias_kind":"pith_short_8","alias_value":"LSONGJ4K","created_at":"2026-07-05T10:53:01.136064+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LSONGJ4KPOVB7AGMMDDTRV4YR6","json":"https://pith.science/pith/LSONGJ4KPOVB7AGMMDDTRV4YR6.json","graph_json":"https://pith.science/api/pith-number/LSONGJ4KPOVB7AGMMDDTRV4YR6/graph.json","events_json":"https://pith.science/api/pith-number/LSONGJ4KPOVB7AGMMDDTRV4YR6/events.json","paper":"https://pith.science/paper/LSONGJ4K"},"agent_actions":{"view_html":"https://pith.science/pith/LSONGJ4KPOVB7AGMMDDTRV4YR6","download_json":"https://pith.science/pith/LSONGJ4KPOVB7AGMMDDTRV4YR6.json","view_paper":"https://pith.science/paper/LSONGJ4K","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.16528&json=true","fetch_graph":"https://pith.science/api/pith-number/LSONGJ4KPOVB7AGMMDDTRV4YR6/graph.json","fetch_events":"https://pith.science/api/pith-number/LSONGJ4KPOVB7AGMMDDTRV4YR6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LSONGJ4KPOVB7AGMMDDTRV4YR6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LSONGJ4KPOVB7AGMMDDTRV4YR6/action/storage_attestation","attest_author":"https://pith.science/pith/LSONGJ4KPOVB7AGMMDDTRV4YR6/action/author_attestation","sign_citation":"https://pith.science/pith/LSONGJ4KPOVB7AGMMDDTRV4YR6/action/citation_signature","submit_replication":"https://pith.science/pith/LSONGJ4KPOVB7AGMMDDTRV4YR6/action/replication_record"}},"created_at":"2026-07-05T10:53:01.136064+00:00","updated_at":"2026-07-05T10:53:01.136064+00:00"}