{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:5C2MQUL26UB5MNCPREWCX3HRYM","short_pith_number":"pith:5C2MQUL2","canonical_record":{"source":{"id":"1804.03406","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-10T09:07:23Z","cross_cats_sorted":[],"title_canon_sha256":"348e35b93223a235e3a2cdcdb25db7d241406e8f988b4e18e6c138beade6688c","abstract_canon_sha256":"0e492b2cb3342e7f78f85b302aa8348cb6063a7d07136d8e8b73f6fbc076735a"},"schema_version":"1.0"},"canonical_sha256":"e8b4c8517af503d6344f892c2becf1c31f64b603da673c7dd00511d69f8c34d3","source":{"kind":"arxiv","id":"1804.03406","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.03406","created_at":"2026-05-18T00:18:48Z"},{"alias_kind":"arxiv_version","alias_value":"1804.03406v1","created_at":"2026-05-18T00:18:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.03406","created_at":"2026-05-18T00:18:48Z"},{"alias_kind":"pith_short_12","alias_value":"5C2MQUL26UB5","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5C2MQUL26UB5MNCP","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5C2MQUL2","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:5C2MQUL26UB5MNCPREWCX3HRYM","target":"record","payload":{"canonical_record":{"source":{"id":"1804.03406","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-10T09:07:23Z","cross_cats_sorted":[],"title_canon_sha256":"348e35b93223a235e3a2cdcdb25db7d241406e8f988b4e18e6c138beade6688c","abstract_canon_sha256":"0e492b2cb3342e7f78f85b302aa8348cb6063a7d07136d8e8b73f6fbc076735a"},"schema_version":"1.0"},"canonical_sha256":"e8b4c8517af503d6344f892c2becf1c31f64b603da673c7dd00511d69f8c34d3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:48.344270Z","signature_b64":"uacjZp+9pw1OXo5bDnrV0XKPW9xyffy2u3SnCCulZsgmmx1+2zUuczdDp7vsYEPEDyf7W3vo4QiB1EdyD2iODg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e8b4c8517af503d6344f892c2becf1c31f64b603da673c7dd00511d69f8c34d3","last_reissued_at":"2026-05-18T00:18:48.343539Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:48.343539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.03406","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-18T00:18:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XwLBAsCpEBH9AwBVQJ5bTvbErGurkvbbT1F8RL6vzlJ+do3hsyRlSAQPBLaXqpJ3Z/fwrNR5exq/XGbEQ1yuDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T01:50:58.952274Z"},"content_sha256":"d5df247b7729252f221da225d2e62798da9d1c0a7938cffbb374ca9e3691a436","schema_version":"1.0","event_id":"sha256:d5df247b7729252f221da225d2e62798da9d1c0a7938cffbb374ca9e3691a436"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:5C2MQUL26UB5MNCPREWCX3HRYM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Mario Gleirscher, Stefan Kugele, Sven Linker","submitted_at":"2018-04-10T09:07:23Z","abstract_excerpt":"These are the proceedings of the Second International Workshop on Safe Control of Autonomous Vehicles, which took place on the 10th of April 2018 in Porto, Portugal as an affiliated workshop of CSPWeek. The task of this workshop is to identify open research problems, discuss recent achievements, bring together researchers in, e.g., control theory, adaptive systems, machine self-organization and autonomy, mobile intelligent robotics, transportation, traffic control, machine learning, software verification, and dependability and security engineering."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.03406","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-18T00:18:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vURw/8UP/6JvkqWPVPJ2J79lNExzP7AVBmcce0QxFPSf0k3oxGVQTNnWpKZCxN8efyjlW9MxDxu3BjOZc6cwDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T01:50:58.952654Z"},"content_sha256":"c7c9df4e96912947f9f5d123edd0f43b62b5289558c46fd4cbb2c680d4876321","schema_version":"1.0","event_id":"sha256:c7c9df4e96912947f9f5d123edd0f43b62b5289558c46fd4cbb2c680d4876321"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5C2MQUL26UB5MNCPREWCX3HRYM/bundle.json","state_url":"https://pith.science/pith/5C2MQUL26UB5MNCPREWCX3HRYM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5C2MQUL26UB5MNCPREWCX3HRYM/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-22T01:50:58Z","links":{"resolver":"https://pith.science/pith/5C2MQUL26UB5MNCPREWCX3HRYM","bundle":"https://pith.science/pith/5C2MQUL26UB5MNCPREWCX3HRYM/bundle.json","state":"https://pith.science/pith/5C2MQUL26UB5MNCPREWCX3HRYM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5C2MQUL26UB5MNCPREWCX3HRYM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:5C2MQUL26UB5MNCPREWCX3HRYM","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":"0e492b2cb3342e7f78f85b302aa8348cb6063a7d07136d8e8b73f6fbc076735a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-10T09:07:23Z","title_canon_sha256":"348e35b93223a235e3a2cdcdb25db7d241406e8f988b4e18e6c138beade6688c"},"schema_version":"1.0","source":{"id":"1804.03406","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.03406","created_at":"2026-05-18T00:18:48Z"},{"alias_kind":"arxiv_version","alias_value":"1804.03406v1","created_at":"2026-05-18T00:18:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.03406","created_at":"2026-05-18T00:18:48Z"},{"alias_kind":"pith_short_12","alias_value":"5C2MQUL26UB5","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5C2MQUL26UB5MNCP","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5C2MQUL2","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:c7c9df4e96912947f9f5d123edd0f43b62b5289558c46fd4cbb2c680d4876321","target":"graph","created_at":"2026-05-18T00:18:48Z","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":"These are the proceedings of the Second International Workshop on Safe Control of Autonomous Vehicles, which took place on the 10th of April 2018 in Porto, Portugal as an affiliated workshop of CSPWeek. The task of this workshop is to identify open research problems, discuss recent achievements, bring together researchers in, e.g., control theory, adaptive systems, machine self-organization and autonomy, mobile intelligent robotics, transportation, traffic control, machine learning, software verification, and dependability and security engineering.","authors_text":"Mario Gleirscher, Stefan Kugele, Sven Linker","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-10T09:07:23Z","title":"Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.03406","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:d5df247b7729252f221da225d2e62798da9d1c0a7938cffbb374ca9e3691a436","target":"record","created_at":"2026-05-18T00:18:48Z","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":"0e492b2cb3342e7f78f85b302aa8348cb6063a7d07136d8e8b73f6fbc076735a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-10T09:07:23Z","title_canon_sha256":"348e35b93223a235e3a2cdcdb25db7d241406e8f988b4e18e6c138beade6688c"},"schema_version":"1.0","source":{"id":"1804.03406","kind":"arxiv","version":1}},"canonical_sha256":"e8b4c8517af503d6344f892c2becf1c31f64b603da673c7dd00511d69f8c34d3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e8b4c8517af503d6344f892c2becf1c31f64b603da673c7dd00511d69f8c34d3","first_computed_at":"2026-05-18T00:18:48.343539Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:48.343539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uacjZp+9pw1OXo5bDnrV0XKPW9xyffy2u3SnCCulZsgmmx1+2zUuczdDp7vsYEPEDyf7W3vo4QiB1EdyD2iODg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:48.344270Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.03406","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d5df247b7729252f221da225d2e62798da9d1c0a7938cffbb374ca9e3691a436","sha256:c7c9df4e96912947f9f5d123edd0f43b62b5289558c46fd4cbb2c680d4876321"],"state_sha256":"e36393969aae53bac36ca4f1cfaeb10e2dd32cce1160adf3b3fdee83fe4141f0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Ec6WAqOt5nJOXXsdlMoR/ij2ALklzumsem1QsRd8JP0hgkPXKQbONHkJvLFahKZ7kidzrcO9k/9nros8SDUDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T01:50:58.954657Z","bundle_sha256":"d3ea82482561c68d401c99a1bd917825416760aeef7e749919f0b6fd742f9b72"}}