{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NHUMS7GBQV2WLGZDY2SJ76X452","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"6a7e5cd5e42e50bb21095e3fa7c5923510b12c2adff919c7da8ef4d1eaa6a768","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-19T15:11:35Z","title_canon_sha256":"b4d9d72212c8b0389b54fb48d84b229ca2371fe3de4bd117e12c01be27c080d4"},"schema_version":"1.0","source":{"id":"2606.21516","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.21516","created_at":"2026-06-23T01:13:13Z"},{"alias_kind":"arxiv_version","alias_value":"2606.21516v1","created_at":"2026-06-23T01:13:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21516","created_at":"2026-06-23T01:13:13Z"},{"alias_kind":"pith_short_12","alias_value":"NHUMS7GBQV2W","created_at":"2026-06-23T01:13:13Z"},{"alias_kind":"pith_short_16","alias_value":"NHUMS7GBQV2WLGZD","created_at":"2026-06-23T01:13:13Z"},{"alias_kind":"pith_short_8","alias_value":"NHUMS7GB","created_at":"2026-06-23T01:13:13Z"}],"graph_snapshots":[{"event_id":"sha256:a800de17807ac045b559e17a412215bb72922c00d777bba5144860fddd1db579","target":"graph","created_at":"2026-06-23T01:13:13Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.21516/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Synthesizing controllers for real-time systems under both timing uncertainty and adversarial environments requires exploring prohibitively large symbolic state spaces. While zone inclusion checking has been applied to Parametric Timed Games, more aggressive abstractions from the Parametric Timed Automata and Timed Games literature -- double inclusion, zone merging, hull abstractions, and location-based abstraction -- have not yet been lifted to the parametric game setting. We define a general abstraction framework for Parametric Timed Games, instantiate it with each of the aforementioned abstr","authors_text":"(2) Universit\\'e Sorbonne Paris Nord CNRS, Aarhus, Denmark, France), Jaco van de Pol (1) ((1) Aarhus University, Laure Petrucci (2), Mikael Bisgaard Dahlsen-Jensen (1), Villetaneuse","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-19T15:11:35Z","title":"State-Space Abstractions for Parametric Timed Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.21516","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b46f64d7ebbe2d1f336c2acef1d6dacb1984945c8f697288e4f7514abf112b54","target":"record","created_at":"2026-06-23T01:13:13Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"6a7e5cd5e42e50bb21095e3fa7c5923510b12c2adff919c7da8ef4d1eaa6a768","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-19T15:11:35Z","title_canon_sha256":"b4d9d72212c8b0389b54fb48d84b229ca2371fe3de4bd117e12c01be27c080d4"},"schema_version":"1.0","source":{"id":"2606.21516","kind":"arxiv","version":1}},"canonical_sha256":"69e8c97cc18575659b23c6a49ffafceeb1ea822208e598a258b1c7e660986867","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"69e8c97cc18575659b23c6a49ffafceeb1ea822208e598a258b1c7e660986867","first_computed_at":"2026-06-23T01:13:13.231367Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T01:13:13.231367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HOd+MUIDu9F5LrrMtN9XZrbz00CgqDSXEJxj3ZIA+nrkZk1QBA3dcu72xFuWDVjzf8u/3BKf/9YzjOjkPX3vBA==","signature_status":"signed_v1","signed_at":"2026-06-23T01:13:13.231852Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.21516","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b46f64d7ebbe2d1f336c2acef1d6dacb1984945c8f697288e4f7514abf112b54","sha256:a800de17807ac045b559e17a412215bb72922c00d777bba5144860fddd1db579"],"state_sha256":"33c6c0d44d0e292ca0e73a847a6447c407651303f59abdf060ba3c8156694e58"}