{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ","short_pith_number":"pith:ZWAK5V2R","canonical_record":{"source":{"id":"1805.00200","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-01T06:22:54Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"c6568713ceb4bbf34a4e9b437e721aee856d0398040ff8fadd65bcfc4925a0db","abstract_canon_sha256":"50719d77693d5e12fcd8d81860196c8c2b35acb666cfb8f6501fa4d43f79f6b8"},"schema_version":"1.0"},"canonical_sha256":"cd80aed751eb918e3f3fcfae3d1dac46525be7c8fbb98eb8ee100048b2069f76","source":{"kind":"arxiv","id":"1805.00200","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.00200","created_at":"2026-05-18T00:10:27Z"},{"alias_kind":"arxiv_version","alias_value":"1805.00200v1","created_at":"2026-05-18T00:10:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.00200","created_at":"2026-05-18T00:10:27Z"},{"alias_kind":"pith_short_12","alias_value":"ZWAK5V2R5OIY","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZWAK5V2R5OIY4PZ7","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZWAK5V2R","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ","target":"record","payload":{"canonical_record":{"source":{"id":"1805.00200","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-01T06:22:54Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"c6568713ceb4bbf34a4e9b437e721aee856d0398040ff8fadd65bcfc4925a0db","abstract_canon_sha256":"50719d77693d5e12fcd8d81860196c8c2b35acb666cfb8f6501fa4d43f79f6b8"},"schema_version":"1.0"},"canonical_sha256":"cd80aed751eb918e3f3fcfae3d1dac46525be7c8fbb98eb8ee100048b2069f76","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:27.862622Z","signature_b64":"W92KmR/3KcbtMW9G7F6uXyr/fDJOPo5mdy2Bq8737QVDjyWMcoo+smq2JdqZ8N6eN4kzBSpm1PLVY7XvKOzRAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd80aed751eb918e3f3fcfae3d1dac46525be7c8fbb98eb8ee100048b2069f76","last_reissued_at":"2026-05-18T00:10:27.862070Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:27.862070Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.00200","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:10:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v7JRXOClf/u0UEarAnoApeJx9EzDK3uHAuW5n44ewncEa6YSiF7KD572Y0AqRlhpabGCMSA8CT1r1KQDW1quAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T13:00:34.253565Z"},"content_sha256":"fd2a18a42660015b0dacb002d8645a7130db24c1b3d09ab2800f1d8e44094a19","schema_version":"1.0","event_id":"sha256:fd2a18a42660015b0dacb002d8645a7130db24c1b3d09ab2800f1d8e44094a19"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Jianye Hao, Shuang Liu, Takumi Akazaki, Yihai Duan, Yoriyuki Yamagata","submitted_at":"2018-05-01T06:22:54Z","abstract_excerpt":"With the rapid development of software and distributed computing, Cyber-Physical Systems (CPS) are widely adopted in many application areas, e.g., smart grid, autonomous automobile. It is difficult to detect defects in CPS models due to the complexities involved in the software and physical systems. To find defects in CPS models efficiently, robustness guided falsification of CPS is introduced. Existing methods use several optimization techniques to generate counterexamples, which falsify the given properties of a CPS. However those methods may require a large number of simulation runs to find"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.00200","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:10:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xF7TiYCyPyiW8IuTvL3V6hAd814/QypJQlRd5JtecfF8OITLNQBFgPYJHFnL2rC0xjPxvKgBYxAXORQWUt8jDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T13:00:34.254349Z"},"content_sha256":"81e6792ed82e42fb55335f15369fa41a16a54e3e33619743e0d02ef746bb78de","schema_version":"1.0","event_id":"sha256:81e6792ed82e42fb55335f15369fa41a16a54e3e33619743e0d02ef746bb78de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ/bundle.json","state_url":"https://pith.science/pith/ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ/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-10T13:00:34Z","links":{"resolver":"https://pith.science/pith/ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ","bundle":"https://pith.science/pith/ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ/bundle.json","state":"https://pith.science/pith/ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZWAK5V2R5OIY4PZ7Z6XD2HNMIZ","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":"50719d77693d5e12fcd8d81860196c8c2b35acb666cfb8f6501fa4d43f79f6b8","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-01T06:22:54Z","title_canon_sha256":"c6568713ceb4bbf34a4e9b437e721aee856d0398040ff8fadd65bcfc4925a0db"},"schema_version":"1.0","source":{"id":"1805.00200","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.00200","created_at":"2026-05-18T00:10:27Z"},{"alias_kind":"arxiv_version","alias_value":"1805.00200v1","created_at":"2026-05-18T00:10:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.00200","created_at":"2026-05-18T00:10:27Z"},{"alias_kind":"pith_short_12","alias_value":"ZWAK5V2R5OIY","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZWAK5V2R5OIY4PZ7","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZWAK5V2R","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:81e6792ed82e42fb55335f15369fa41a16a54e3e33619743e0d02ef746bb78de","target":"graph","created_at":"2026-05-18T00:10:27Z","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":"With the rapid development of software and distributed computing, Cyber-Physical Systems (CPS) are widely adopted in many application areas, e.g., smart grid, autonomous automobile. It is difficult to detect defects in CPS models due to the complexities involved in the software and physical systems. To find defects in CPS models efficiently, robustness guided falsification of CPS is introduced. Existing methods use several optimization techniques to generate counterexamples, which falsify the given properties of a CPS. However those methods may require a large number of simulation runs to find","authors_text":"Jianye Hao, Shuang Liu, Takumi Akazaki, Yihai Duan, Yoriyuki Yamagata","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-01T06:22:54Z","title":"Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.00200","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:fd2a18a42660015b0dacb002d8645a7130db24c1b3d09ab2800f1d8e44094a19","target":"record","created_at":"2026-05-18T00:10:27Z","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":"50719d77693d5e12fcd8d81860196c8c2b35acb666cfb8f6501fa4d43f79f6b8","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-01T06:22:54Z","title_canon_sha256":"c6568713ceb4bbf34a4e9b437e721aee856d0398040ff8fadd65bcfc4925a0db"},"schema_version":"1.0","source":{"id":"1805.00200","kind":"arxiv","version":1}},"canonical_sha256":"cd80aed751eb918e3f3fcfae3d1dac46525be7c8fbb98eb8ee100048b2069f76","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd80aed751eb918e3f3fcfae3d1dac46525be7c8fbb98eb8ee100048b2069f76","first_computed_at":"2026-05-18T00:10:27.862070Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:27.862070Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W92KmR/3KcbtMW9G7F6uXyr/fDJOPo5mdy2Bq8737QVDjyWMcoo+smq2JdqZ8N6eN4kzBSpm1PLVY7XvKOzRAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:27.862622Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.00200","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd2a18a42660015b0dacb002d8645a7130db24c1b3d09ab2800f1d8e44094a19","sha256:81e6792ed82e42fb55335f15369fa41a16a54e3e33619743e0d02ef746bb78de"],"state_sha256":"0b6cd4d6355cac907d4639a5c99f52050662e282138f3af56a211fd56b9bfeea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z6ntsqqavDfop/MfkGIqbIa5a7lwz9+troSkkItU54wUK/jo25hnMW+1UY53ekEIcOnfquUAhR9Zmwl8tctWCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T13:00:34.259239Z","bundle_sha256":"2ce25f4cb7b4622b59dc15abd40f81c85e4c1a6f1d18ea8cea46f7c46254f4e1"}}