{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:B4YLYG373FEQDQUNHVASIO55IP","short_pith_number":"pith:B4YLYG37","canonical_record":{"source":{"id":"0911.4833","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-25T12:33:37Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"1a1066a8f046a2887ee532fa9c1397c801a615f79be3e6b495f0d28faf99d859","abstract_canon_sha256":"1deed4468f94ab2ebc3bdb76a1ec50227dd555ea81011c81c456d4414efc168f"},"schema_version":"1.0"},"canonical_sha256":"0f30bc1b7fd94901c28d3d41243bbd43e9faeadba6bb592dc53482c3f97ca9b6","source":{"kind":"arxiv","id":"0911.4833","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0911.4833","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"0911.4833v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0911.4833","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"B4YLYG373FEQ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"B4YLYG373FEQDQUN","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"B4YLYG37","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:B4YLYG373FEQDQUNHVASIO55IP","target":"record","payload":{"canonical_record":{"source":{"id":"0911.4833","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-25T12:33:37Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"1a1066a8f046a2887ee532fa9c1397c801a615f79be3e6b495f0d28faf99d859","abstract_canon_sha256":"1deed4468f94ab2ebc3bdb76a1ec50227dd555ea81011c81c456d4414efc168f"},"schema_version":"1.0"},"canonical_sha256":"0f30bc1b7fd94901c28d3d41243bbd43e9faeadba6bb592dc53482c3f97ca9b6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:40.234698Z","signature_b64":"NxM7Dc9ITnkzkWltCdgk/1t+8Rsx2ii+xTWwqWdvqS5OyXdQBrMIk0D/ityivywMFe99tG/busH1ZcLkek0HAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0f30bc1b7fd94901c28d3d41243bbd43e9faeadba6bb592dc53482c3f97ca9b6","last_reissued_at":"2026-05-18T01:37:40.234172Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:40.234172Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0911.4833","source_version":2,"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-18T01:37:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZvABOj6nk/s73dx2TpRPUL3+BBvd5CDgUlTjvWY0E+30MTe+Q3SEgOyAjgFLlKqD0GDBzyE0gqrQp0b/ToyZAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:35:21.418489Z"},"content_sha256":"1d97b009b5ecd5e3ef93ec6b97be1038342d67f8a18eacf668ce95890ee4269b","schema_version":"1.0","event_id":"sha256:1d97b009b5ecd5e3ef93ec6b97be1038342d67f8a18eacf668ce95890ee4269b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:B4YLYG373FEQDQUNHVASIO55IP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"O-Minimal Hybrid Reachability Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.LO","authors_text":"Fabrice Chevalier, Patricia Bouyer, Thomas Brihaye","submitted_at":"2009-11-25T12:33:37Z","abstract_excerpt":"In this paper, we consider reachability games over general hybrid systems, and distinguish between two possible observation frameworks for those games: either the precise dynamics of the system is seen by the players (this is the perfect observation framework), or only the starting point and the delays are known by the players (this is the partial observation framework). In the first more classical framework, we show that time-abstract bisimulation is not adequate for solving this problem, although it is sufficient in the case of timed automata . That is why we consider an other equivalence, n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0911.4833","kind":"arxiv","version":2},"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-18T01:37:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jlHi/KIRMuL0X8VJqYBBQ40JDJ38aEik1EgH3wmGYyRn6db7N3tCXSQ4FH/yTe13IMBROkH18DFr6qDIhZYLCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:35:21.419121Z"},"content_sha256":"8288ea8b2adc199ce08a6a9b83ba2642fb58276e3740ae43b5cfbac97897f9c6","schema_version":"1.0","event_id":"sha256:8288ea8b2adc199ce08a6a9b83ba2642fb58276e3740ae43b5cfbac97897f9c6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B4YLYG373FEQDQUNHVASIO55IP/bundle.json","state_url":"https://pith.science/pith/B4YLYG373FEQDQUNHVASIO55IP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B4YLYG373FEQDQUNHVASIO55IP/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-30T07:35:21Z","links":{"resolver":"https://pith.science/pith/B4YLYG373FEQDQUNHVASIO55IP","bundle":"https://pith.science/pith/B4YLYG373FEQDQUNHVASIO55IP/bundle.json","state":"https://pith.science/pith/B4YLYG373FEQDQUNHVASIO55IP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B4YLYG373FEQDQUNHVASIO55IP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:B4YLYG373FEQDQUNHVASIO55IP","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":"1deed4468f94ab2ebc3bdb76a1ec50227dd555ea81011c81c456d4414efc168f","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-25T12:33:37Z","title_canon_sha256":"1a1066a8f046a2887ee532fa9c1397c801a615f79be3e6b495f0d28faf99d859"},"schema_version":"1.0","source":{"id":"0911.4833","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0911.4833","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"0911.4833v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0911.4833","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"B4YLYG373FEQ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"B4YLYG373FEQDQUN","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"B4YLYG37","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:8288ea8b2adc199ce08a6a9b83ba2642fb58276e3740ae43b5cfbac97897f9c6","target":"graph","created_at":"2026-05-18T01:37:40Z","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":"In this paper, we consider reachability games over general hybrid systems, and distinguish between two possible observation frameworks for those games: either the precise dynamics of the system is seen by the players (this is the perfect observation framework), or only the starting point and the delays are known by the players (this is the partial observation framework). In the first more classical framework, we show that time-abstract bisimulation is not adequate for solving this problem, although it is sufficient in the case of timed automata . That is why we consider an other equivalence, n","authors_text":"Fabrice Chevalier, Patricia Bouyer, Thomas Brihaye","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-25T12:33:37Z","title":"O-Minimal Hybrid Reachability Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0911.4833","kind":"arxiv","version":2},"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:1d97b009b5ecd5e3ef93ec6b97be1038342d67f8a18eacf668ce95890ee4269b","target":"record","created_at":"2026-05-18T01:37:40Z","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":"1deed4468f94ab2ebc3bdb76a1ec50227dd555ea81011c81c456d4414efc168f","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-25T12:33:37Z","title_canon_sha256":"1a1066a8f046a2887ee532fa9c1397c801a615f79be3e6b495f0d28faf99d859"},"schema_version":"1.0","source":{"id":"0911.4833","kind":"arxiv","version":2}},"canonical_sha256":"0f30bc1b7fd94901c28d3d41243bbd43e9faeadba6bb592dc53482c3f97ca9b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0f30bc1b7fd94901c28d3d41243bbd43e9faeadba6bb592dc53482c3f97ca9b6","first_computed_at":"2026-05-18T01:37:40.234172Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:40.234172Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NxM7Dc9ITnkzkWltCdgk/1t+8Rsx2ii+xTWwqWdvqS5OyXdQBrMIk0D/ityivywMFe99tG/busH1ZcLkek0HAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:40.234698Z","signed_message":"canonical_sha256_bytes"},"source_id":"0911.4833","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1d97b009b5ecd5e3ef93ec6b97be1038342d67f8a18eacf668ce95890ee4269b","sha256:8288ea8b2adc199ce08a6a9b83ba2642fb58276e3740ae43b5cfbac97897f9c6"],"state_sha256":"128d3525beb1174dd58efc8ac96679aaa949e5abbd69cebab58e67c5437b7643"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ghTExW31rR3jyz3tI5A3Hy4hAZCKnFHZE4vDTF7+1QTqPuJxGVw+vN3uawsVPtWKNZTvrIzL8LgQKbnD7PyWBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T07:35:21.422793Z","bundle_sha256":"43c47eb1faba2c2277327482875c89bd09a3948d5169ae465120ee6adba464e8"}}