{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:H3C3GR32K6FHGD4YVCL6FAEOAY","short_pith_number":"pith:H3C3GR32","canonical_record":{"source":{"id":"cs/0501092","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.RO","submitted_at":"2005-01-31T01:03:54Z","cross_cats_sorted":["cs.AI","cs.MA"],"title_canon_sha256":"af8f4e5b00fcd55161f34670765a226c60cda9a1c5ea3a67013dbb5995f9444d","abstract_canon_sha256":"1dbadbb2e27455a587682e77ab1a37344a5421713377e041b92047ba035af76d"},"schema_version":"1.0"},"canonical_sha256":"3ec5b3477a578a730f98a897e2808e0631553c49f50ce559d49477b70288e1bb","source":{"kind":"arxiv","id":"cs/0501092","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0501092","created_at":"2026-05-18T04:30:35Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0501092v1","created_at":"2026-05-18T04:30:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0501092","created_at":"2026-05-18T04:30:35Z"},{"alias_kind":"pith_short_12","alias_value":"H3C3GR32K6FH","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"H3C3GR32K6FHGD4Y","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"H3C3GR32","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:H3C3GR32K6FHGD4YVCL6FAEOAY","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0501092","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.RO","submitted_at":"2005-01-31T01:03:54Z","cross_cats_sorted":["cs.AI","cs.MA"],"title_canon_sha256":"af8f4e5b00fcd55161f34670765a226c60cda9a1c5ea3a67013dbb5995f9444d","abstract_canon_sha256":"1dbadbb2e27455a587682e77ab1a37344a5421713377e041b92047ba035af76d"},"schema_version":"1.0"},"canonical_sha256":"3ec5b3477a578a730f98a897e2808e0631553c49f50ce559d49477b70288e1bb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:30:35.522668Z","signature_b64":"iJkw0X8/j1GMgfuVj04Nf2VzWQ7OUECVDLNLKhP+H8Jsou6xWFO1VJ0H1Xj55mfdQ7knIu42MokH6o6ZJBUTDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3ec5b3477a578a730f98a897e2808e0631553c49f50ce559d49477b70288e1bb","last_reissued_at":"2026-05-18T04:30:35.522068Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:30:35.522068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0501092","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-18T04:30:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7RIB+c4shZzfSznSgbvDFK9hLPUWRMBZw3ntCx4ndRHRiPu3bekt96xxUrIW4wawGVxvGBOPM7VSeb9pHmk+BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T16:21:39.798660Z"},"content_sha256":"ec9cdebe424ef5b73a187b5de90a62002c97afdb9acf40eeaa62fcc944a7e0f4","schema_version":"1.0","event_id":"sha256:ec9cdebe424ef5b73a187b5de90a62002c97afdb9acf40eeaa62fcc944a7e0f4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:H3C3GR32K6FHGD4YVCL6FAEOAY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multi-Vehicle Cooperative Control Using Mixed Integer Linear Programming","license":"","headline":"","cross_cats":["cs.AI","cs.MA"],"primary_cat":"cs.RO","authors_text":"Matthew G. Earl, Raffaello D'Andrea","submitted_at":"2005-01-31T01:03:54Z","abstract_excerpt":"We present methods to synthesize cooperative strategies for multi-vehicle control problems using mixed integer linear programming. Complex multi-vehicle control problems are expressed as mixed logical dynamical systems. Optimal strategies for these systems are then solved for using mixed integer linear programming. We motivate the methods on problems derived from an adversarial game between two teams of robots called RoboFlag. We assume the strategy for one team is fixed and governed by state machines. The strategy for the other team is generated using our methods. Finally, we perform an avera"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0501092","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-18T04:30:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hf5a3xyBGMshK8zmMKQRTNc5nHtBRDsYR8eHV6heIbiDNqI4Xaa6ZNUcfVsicz6dg6GsePLWq1Kfj70gkZfUBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T16:21:39.799010Z"},"content_sha256":"b40848ac8397849b1876b3bd628b925e4157136ee0b2dad2fe11c411f706a3ce","schema_version":"1.0","event_id":"sha256:b40848ac8397849b1876b3bd628b925e4157136ee0b2dad2fe11c411f706a3ce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H3C3GR32K6FHGD4YVCL6FAEOAY/bundle.json","state_url":"https://pith.science/pith/H3C3GR32K6FHGD4YVCL6FAEOAY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H3C3GR32K6FHGD4YVCL6FAEOAY/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-05-20T16:21:39Z","links":{"resolver":"https://pith.science/pith/H3C3GR32K6FHGD4YVCL6FAEOAY","bundle":"https://pith.science/pith/H3C3GR32K6FHGD4YVCL6FAEOAY/bundle.json","state":"https://pith.science/pith/H3C3GR32K6FHGD4YVCL6FAEOAY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H3C3GR32K6FHGD4YVCL6FAEOAY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:H3C3GR32K6FHGD4YVCL6FAEOAY","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":"1dbadbb2e27455a587682e77ab1a37344a5421713377e041b92047ba035af76d","cross_cats_sorted":["cs.AI","cs.MA"],"license":"","primary_cat":"cs.RO","submitted_at":"2005-01-31T01:03:54Z","title_canon_sha256":"af8f4e5b00fcd55161f34670765a226c60cda9a1c5ea3a67013dbb5995f9444d"},"schema_version":"1.0","source":{"id":"cs/0501092","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0501092","created_at":"2026-05-18T04:30:35Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0501092v1","created_at":"2026-05-18T04:30:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0501092","created_at":"2026-05-18T04:30:35Z"},{"alias_kind":"pith_short_12","alias_value":"H3C3GR32K6FH","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"H3C3GR32K6FHGD4Y","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"H3C3GR32","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:b40848ac8397849b1876b3bd628b925e4157136ee0b2dad2fe11c411f706a3ce","target":"graph","created_at":"2026-05-18T04:30:35Z","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":"We present methods to synthesize cooperative strategies for multi-vehicle control problems using mixed integer linear programming. Complex multi-vehicle control problems are expressed as mixed logical dynamical systems. Optimal strategies for these systems are then solved for using mixed integer linear programming. We motivate the methods on problems derived from an adversarial game between two teams of robots called RoboFlag. We assume the strategy for one team is fixed and governed by state machines. The strategy for the other team is generated using our methods. Finally, we perform an avera","authors_text":"Matthew G. Earl, Raffaello D'Andrea","cross_cats":["cs.AI","cs.MA"],"headline":"","license":"","primary_cat":"cs.RO","submitted_at":"2005-01-31T01:03:54Z","title":"Multi-Vehicle Cooperative Control Using Mixed Integer Linear Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0501092","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:ec9cdebe424ef5b73a187b5de90a62002c97afdb9acf40eeaa62fcc944a7e0f4","target":"record","created_at":"2026-05-18T04:30:35Z","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":"1dbadbb2e27455a587682e77ab1a37344a5421713377e041b92047ba035af76d","cross_cats_sorted":["cs.AI","cs.MA"],"license":"","primary_cat":"cs.RO","submitted_at":"2005-01-31T01:03:54Z","title_canon_sha256":"af8f4e5b00fcd55161f34670765a226c60cda9a1c5ea3a67013dbb5995f9444d"},"schema_version":"1.0","source":{"id":"cs/0501092","kind":"arxiv","version":1}},"canonical_sha256":"3ec5b3477a578a730f98a897e2808e0631553c49f50ce559d49477b70288e1bb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ec5b3477a578a730f98a897e2808e0631553c49f50ce559d49477b70288e1bb","first_computed_at":"2026-05-18T04:30:35.522068Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:30:35.522068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iJkw0X8/j1GMgfuVj04Nf2VzWQ7OUECVDLNLKhP+H8Jsou6xWFO1VJ0H1Xj55mfdQ7knIu42MokH6o6ZJBUTDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:30:35.522668Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0501092","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ec9cdebe424ef5b73a187b5de90a62002c97afdb9acf40eeaa62fcc944a7e0f4","sha256:b40848ac8397849b1876b3bd628b925e4157136ee0b2dad2fe11c411f706a3ce"],"state_sha256":"093509073a7fe29f9f61527ce5399b956d1dd9f547b85d5f1061696f6b84c70c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"51c9AQP0tNQaV0bBXDP69rTii4nYgDBalTBy1Rs2yfdUz29VUvdfgEVjRhV/BgNvNO+BJmz65xh4GkWgsuAxAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-20T16:21:39.801152Z","bundle_sha256":"1665def483edb43756714ba284b0d9ed1918af12c4db4213cff13029f6319f50"}}