{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:ILSBNVFUX7FOGM3FWA4T6AHE5E","short_pith_number":"pith:ILSBNVFU","canonical_record":{"source":{"id":"1210.1630","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-10-05T02:40:39Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"c18fc2ad7c791223ffeda430da9c240e98f1700c88e63e343c8438f1a3f172da","abstract_canon_sha256":"9ff0db2cc19c27c661949c887a1f687cc33eaab6d59c1ce943a12d6f29bd0cb7"},"schema_version":"1.0"},"canonical_sha256":"42e416d4b4bfcae33365b0393f00e4e91e3998cd4b7b8189e7a1804a1a51965a","source":{"kind":"arxiv","id":"1210.1630","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.1630","created_at":"2026-05-18T03:43:53Z"},{"alias_kind":"arxiv_version","alias_value":"1210.1630v1","created_at":"2026-05-18T03:43:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.1630","created_at":"2026-05-18T03:43:53Z"},{"alias_kind":"pith_short_12","alias_value":"ILSBNVFUX7FO","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"ILSBNVFUX7FOGM3F","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"ILSBNVFU","created_at":"2026-05-18T12:27:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:ILSBNVFUX7FOGM3FWA4T6AHE5E","target":"record","payload":{"canonical_record":{"source":{"id":"1210.1630","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-10-05T02:40:39Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"c18fc2ad7c791223ffeda430da9c240e98f1700c88e63e343c8438f1a3f172da","abstract_canon_sha256":"9ff0db2cc19c27c661949c887a1f687cc33eaab6d59c1ce943a12d6f29bd0cb7"},"schema_version":"1.0"},"canonical_sha256":"42e416d4b4bfcae33365b0393f00e4e91e3998cd4b7b8189e7a1804a1a51965a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:53.773710Z","signature_b64":"j9DTBeBgHvla+Yms0R0Y3SNrCEIQAUJbc6qQSvcXmNdzCB1PhpFAXmNVa1Vssyh2Xuc4b6VV0qlPMEbOdqExDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"42e416d4b4bfcae33365b0393f00e4e91e3998cd4b7b8189e7a1804a1a51965a","last_reissued_at":"2026-05-18T03:43:53.773150Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:53.773150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.1630","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:43:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fvdhzhIRPRCX35yAMZTgBxlZ/0QJ8UgRCYGPr6Y+yC0ZemsWi1QfiXYxqC5tHITCAJalmw1bEuRdJtkfyvi9Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T15:42:03.537520Z"},"content_sha256":"3bb445adc6b09eade196b4fba06bf5c053b600e1202015980fbd3320281a4f08","schema_version":"1.0","event_id":"sha256:3bb445adc6b09eade196b4fba06bf5c053b600e1202015980fbd3320281a4f08"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:ILSBNVFUX7FOGM3FWA4T6AHE5E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Planning and Control Using Game Theory and Grammatical Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.RO","authors_text":"Cesar Koirala, Herbert G. Tanner, Jane Chandlee, Jeffrey Heinz, Jie Fu, Konstantinos Karydis","submitted_at":"2012-10-05T02:40:39Z","abstract_excerpt":"This paper presents an approach that brings together game theory with grammatical inference and discrete abstractions in order to synthesize control strategies for hybrid dynamical systems performing tasks in partially unknown but rule-governed adversarial environments. The combined formulation guarantees that a system specification is met if (a) the true model of the environment is in the class of models inferable from a positive presentation, (b) a characteristic sample is observed, and (c) the task specification is satisfiable given the capabilities of the system (agent) and the environment"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.1630","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:43:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vPhFNA2NSn6m6yOnao7JJavW1TMNZrwcM6warWkxSdReK1mSuLV0XY9ZdjZk862CorJ//cYcvUTuG0apvdAwBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T15:42:03.538229Z"},"content_sha256":"31f2b34816cbd898ba9c91f6647eef932746f823c3b61595eeb4692da28a037d","schema_version":"1.0","event_id":"sha256:31f2b34816cbd898ba9c91f6647eef932746f823c3b61595eeb4692da28a037d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ILSBNVFUX7FOGM3FWA4T6AHE5E/bundle.json","state_url":"https://pith.science/pith/ILSBNVFUX7FOGM3FWA4T6AHE5E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ILSBNVFUX7FOGM3FWA4T6AHE5E/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-08T15:42:03Z","links":{"resolver":"https://pith.science/pith/ILSBNVFUX7FOGM3FWA4T6AHE5E","bundle":"https://pith.science/pith/ILSBNVFUX7FOGM3FWA4T6AHE5E/bundle.json","state":"https://pith.science/pith/ILSBNVFUX7FOGM3FWA4T6AHE5E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ILSBNVFUX7FOGM3FWA4T6AHE5E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:ILSBNVFUX7FOGM3FWA4T6AHE5E","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":"9ff0db2cc19c27c661949c887a1f687cc33eaab6d59c1ce943a12d6f29bd0cb7","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-10-05T02:40:39Z","title_canon_sha256":"c18fc2ad7c791223ffeda430da9c240e98f1700c88e63e343c8438f1a3f172da"},"schema_version":"1.0","source":{"id":"1210.1630","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.1630","created_at":"2026-05-18T03:43:53Z"},{"alias_kind":"arxiv_version","alias_value":"1210.1630v1","created_at":"2026-05-18T03:43:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.1630","created_at":"2026-05-18T03:43:53Z"},{"alias_kind":"pith_short_12","alias_value":"ILSBNVFUX7FO","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"ILSBNVFUX7FOGM3F","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"ILSBNVFU","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:31f2b34816cbd898ba9c91f6647eef932746f823c3b61595eeb4692da28a037d","target":"graph","created_at":"2026-05-18T03:43:53Z","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"},"paper":{"abstract_excerpt":"This paper presents an approach that brings together game theory with grammatical inference and discrete abstractions in order to synthesize control strategies for hybrid dynamical systems performing tasks in partially unknown but rule-governed adversarial environments. The combined formulation guarantees that a system specification is met if (a) the true model of the environment is in the class of models inferable from a positive presentation, (b) a characteristic sample is observed, and (c) the task specification is satisfiable given the capabilities of the system (agent) and the environment","authors_text":"Cesar Koirala, Herbert G. Tanner, Jane Chandlee, Jeffrey Heinz, Jie Fu, Konstantinos Karydis","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-10-05T02:40:39Z","title":"Symbolic Planning and Control Using Game Theory and Grammatical Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.1630","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:3bb445adc6b09eade196b4fba06bf5c053b600e1202015980fbd3320281a4f08","target":"record","created_at":"2026-05-18T03:43:53Z","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":"9ff0db2cc19c27c661949c887a1f687cc33eaab6d59c1ce943a12d6f29bd0cb7","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-10-05T02:40:39Z","title_canon_sha256":"c18fc2ad7c791223ffeda430da9c240e98f1700c88e63e343c8438f1a3f172da"},"schema_version":"1.0","source":{"id":"1210.1630","kind":"arxiv","version":1}},"canonical_sha256":"42e416d4b4bfcae33365b0393f00e4e91e3998cd4b7b8189e7a1804a1a51965a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"42e416d4b4bfcae33365b0393f00e4e91e3998cd4b7b8189e7a1804a1a51965a","first_computed_at":"2026-05-18T03:43:53.773150Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:43:53.773150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"j9DTBeBgHvla+Yms0R0Y3SNrCEIQAUJbc6qQSvcXmNdzCB1PhpFAXmNVa1Vssyh2Xuc4b6VV0qlPMEbOdqExDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:43:53.773710Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.1630","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3bb445adc6b09eade196b4fba06bf5c053b600e1202015980fbd3320281a4f08","sha256:31f2b34816cbd898ba9c91f6647eef932746f823c3b61595eeb4692da28a037d"],"state_sha256":"bc11754943086a4bd057e4474d2cacdea4bbebde06a2840b65284bc7053f39a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sXMPkHsu3XE6FEV44daOS0B6q3s0xAHkQXro4l8nkMu/HS00KvaKwTaIlUV84359t6DgBzbPCeCFhWwmqLL7Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T15:42:03.542248Z","bundle_sha256":"352a3138f63fb45fab2f94466e71d482d4452906e00d146774e2346f18ab301c"}}