{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:OXFSECXI7UBTBV3PPIG7QDDFZO","short_pith_number":"pith:OXFSECXI","schema_version":"1.0","canonical_sha256":"75cb220ae8fd0330d76f7a0df80c65cb8eb734a872066f78ff56c09d8ff1afe9","source":{"kind":"arxiv","id":"1504.06766","version":1},"attestation_state":"computed","paper":{"title":"Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.MA","authors_text":"Brian Logan, Franco Raimondi, Hoang Nga Nguyen, Natasha Alechina","submitted_at":"2015-04-25T22:28:58Z","abstract_excerpt":"Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consumed on any path in the system is bounded, then the model-checking problem for several standard logics, such as Resource-Bounded Coalition Logic (RB-CL) and Resource-Bounded Alternating-Time Temporal Logic (RB-ATL) is decidable. However, for coalition logics with unbounded resource production and consumption, only some undecidability results are known"},"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":"1504.06766","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2015-04-25T22:28:58Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"290fcd9185ad69f73b37117494e5a9c4fb122dcc7d47480f2e9df9129b2de50f","abstract_canon_sha256":"4ad2486bd32abc1eda370a1aec961cf874c9f16c81dccf78bd5a097028602261"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:17:44.411712Z","signature_b64":"wQq5svUwaSNCZZ0oazxN1ZZuouEkQQ1F9WGFc/3e8VlIjDilP5CX8U50vPmk4/GQkrHi3Yrlcj1N7EO5+nOxBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"75cb220ae8fd0330d76f7a0df80c65cb8eb734a872066f78ff56c09d8ff1afe9","last_reissued_at":"2026-05-18T02:17:44.411330Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:17:44.411330Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.MA","authors_text":"Brian Logan, Franco Raimondi, Hoang Nga Nguyen, Natasha Alechina","submitted_at":"2015-04-25T22:28:58Z","abstract_excerpt":"Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consumed on any path in the system is bounded, then the model-checking problem for several standard logics, such as Resource-Bounded Coalition Logic (RB-CL) and Resource-Bounded Alternating-Time Temporal Logic (RB-ATL) is decidable. However, for coalition logics with unbounded resource production and consumption, only some undecidability results are known"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.06766","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":""},"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":"1504.06766","created_at":"2026-05-18T02:17:44.411387+00:00"},{"alias_kind":"arxiv_version","alias_value":"1504.06766v1","created_at":"2026-05-18T02:17:44.411387+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.06766","created_at":"2026-05-18T02:17:44.411387+00:00"},{"alias_kind":"pith_short_12","alias_value":"OXFSECXI7UBT","created_at":"2026-05-18T12:29:34.919912+00:00"},{"alias_kind":"pith_short_16","alias_value":"OXFSECXI7UBTBV3P","created_at":"2026-05-18T12:29:34.919912+00:00"},{"alias_kind":"pith_short_8","alias_value":"OXFSECXI","created_at":"2026-05-18T12:29:34.919912+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/OXFSECXI7UBTBV3PPIG7QDDFZO","json":"https://pith.science/pith/OXFSECXI7UBTBV3PPIG7QDDFZO.json","graph_json":"https://pith.science/api/pith-number/OXFSECXI7UBTBV3PPIG7QDDFZO/graph.json","events_json":"https://pith.science/api/pith-number/OXFSECXI7UBTBV3PPIG7QDDFZO/events.json","paper":"https://pith.science/paper/OXFSECXI"},"agent_actions":{"view_html":"https://pith.science/pith/OXFSECXI7UBTBV3PPIG7QDDFZO","download_json":"https://pith.science/pith/OXFSECXI7UBTBV3PPIG7QDDFZO.json","view_paper":"https://pith.science/paper/OXFSECXI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1504.06766&json=true","fetch_graph":"https://pith.science/api/pith-number/OXFSECXI7UBTBV3PPIG7QDDFZO/graph.json","fetch_events":"https://pith.science/api/pith-number/OXFSECXI7UBTBV3PPIG7QDDFZO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OXFSECXI7UBTBV3PPIG7QDDFZO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OXFSECXI7UBTBV3PPIG7QDDFZO/action/storage_attestation","attest_author":"https://pith.science/pith/OXFSECXI7UBTBV3PPIG7QDDFZO/action/author_attestation","sign_citation":"https://pith.science/pith/OXFSECXI7UBTBV3PPIG7QDDFZO/action/citation_signature","submit_replication":"https://pith.science/pith/OXFSECXI7UBTBV3PPIG7QDDFZO/action/replication_record"}},"created_at":"2026-05-18T02:17:44.411387+00:00","updated_at":"2026-05-18T02:17:44.411387+00:00"}