{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3273XN7L5TGPO6FCYFMCNA7URX","short_pith_number":"pith:3273XN7L","canonical_record":{"source":{"id":"1907.04708","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-07-10T13:22:32Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"b7f3fae5c636cfaea8e071224198072872648da85802a81d8bfae53fd9482a47","abstract_canon_sha256":"97383a986bcdc7a4673c7783b69983439f08f09e101d5ae590ecf0aed3f740a3"},"schema_version":"1.0"},"canonical_sha256":"debfbbb7ebecccf778a2c1582683f48de08e11921b255dc6567779287047a0f5","source":{"kind":"arxiv","id":"1907.04708","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.04708","created_at":"2026-05-17T23:40:57Z"},{"alias_kind":"arxiv_version","alias_value":"1907.04708v1","created_at":"2026-05-17T23:40:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.04708","created_at":"2026-05-17T23:40:57Z"},{"alias_kind":"pith_short_12","alias_value":"3273XN7L5TGP","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3273XN7L5TGPO6FC","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3273XN7L","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3273XN7L5TGPO6FCYFMCNA7URX","target":"record","payload":{"canonical_record":{"source":{"id":"1907.04708","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-07-10T13:22:32Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"b7f3fae5c636cfaea8e071224198072872648da85802a81d8bfae53fd9482a47","abstract_canon_sha256":"97383a986bcdc7a4673c7783b69983439f08f09e101d5ae590ecf0aed3f740a3"},"schema_version":"1.0"},"canonical_sha256":"debfbbb7ebecccf778a2c1582683f48de08e11921b255dc6567779287047a0f5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:57.039483Z","signature_b64":"UoRNgrM9ptfFPddv9BOnmsBwjwi8JCPKJMRPIPMXKR14nXmKj4naL9kiBIV84kW/sxPJk3hveIcY3FX7QeLVAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"debfbbb7ebecccf778a2c1582683f48de08e11921b255dc6567779287047a0f5","last_reissued_at":"2026-05-17T23:40:57.038732Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:57.038732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.04708","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-17T23:40:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uCk/cQCEwmJYY2ByiOZNcH7U4FNQnS05qZJXLIBjGF0UXnTypCOkUn4B1wUJsEghNTf04nqiOMhfhXG5e8wbCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:07:58.910462Z"},"content_sha256":"d341416719988e45e88dac8ac9dd8c82314f26789aee00d96324b5d2a3bbf9a4","schema_version":"1.0","event_id":"sha256:d341416719988e45e88dac8ac9dd8c82314f26789aee00d96324b5d2a3bbf9a4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3273XN7L5TGPO6FCYFMCNA7URX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.LG","authors_text":"Astrid Rupp, Bernhard K. Aichernig, Franz Pernkopf, Markus Tranninger, Martin Horn, Martin Tappler, Masoud Ebrahimi, Roderick Bloem, Wolfgang Roth","submitted_at":"2019-07-10T13:22:32Z","abstract_excerpt":"Models play an essential role in the design process of cyber-physical systems. They form the basis for simulation and analysis and help in identifying design problems as early as possible. However, the construction of models that comprise physical and digital behavior is challenging. Therefore, there is considerable interest in learning such hybrid behavior by means of machine learning which requires sufficient and representative training data covering the behavior of the physical system adequately. In this work, we exploit a combination of automata learning and model-based testing to generate"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.04708","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-17T23:40:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hXjBCSgte60SzOgopE9/udr0x+NXbxPhVZ3M8uDFOkwr4BKSMyW859EC8TyIIb7BJVkB5zJVnB9IKc58Mf8ZAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:07:58.911113Z"},"content_sha256":"c4e7a85a74bb232a2ffa09dbd32b44a005479b9cfc532019e30f5ab09c13cb51","schema_version":"1.0","event_id":"sha256:c4e7a85a74bb232a2ffa09dbd32b44a005479b9cfc532019e30f5ab09c13cb51"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3273XN7L5TGPO6FCYFMCNA7URX/bundle.json","state_url":"https://pith.science/pith/3273XN7L5TGPO6FCYFMCNA7URX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3273XN7L5TGPO6FCYFMCNA7URX/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-26T00:07:58Z","links":{"resolver":"https://pith.science/pith/3273XN7L5TGPO6FCYFMCNA7URX","bundle":"https://pith.science/pith/3273XN7L5TGPO6FCYFMCNA7URX/bundle.json","state":"https://pith.science/pith/3273XN7L5TGPO6FCYFMCNA7URX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3273XN7L5TGPO6FCYFMCNA7URX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3273XN7L5TGPO6FCYFMCNA7URX","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":"97383a986bcdc7a4673c7783b69983439f08f09e101d5ae590ecf0aed3f740a3","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-07-10T13:22:32Z","title_canon_sha256":"b7f3fae5c636cfaea8e071224198072872648da85802a81d8bfae53fd9482a47"},"schema_version":"1.0","source":{"id":"1907.04708","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.04708","created_at":"2026-05-17T23:40:57Z"},{"alias_kind":"arxiv_version","alias_value":"1907.04708v1","created_at":"2026-05-17T23:40:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.04708","created_at":"2026-05-17T23:40:57Z"},{"alias_kind":"pith_short_12","alias_value":"3273XN7L5TGP","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3273XN7L5TGPO6FC","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3273XN7L","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:c4e7a85a74bb232a2ffa09dbd32b44a005479b9cfc532019e30f5ab09c13cb51","target":"graph","created_at":"2026-05-17T23:40:57Z","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":"Models play an essential role in the design process of cyber-physical systems. They form the basis for simulation and analysis and help in identifying design problems as early as possible. However, the construction of models that comprise physical and digital behavior is challenging. Therefore, there is considerable interest in learning such hybrid behavior by means of machine learning which requires sufficient and representative training data covering the behavior of the physical system adequately. In this work, we exploit a combination of automata learning and model-based testing to generate","authors_text":"Astrid Rupp, Bernhard K. Aichernig, Franz Pernkopf, Markus Tranninger, Martin Horn, Martin Tappler, Masoud Ebrahimi, Roderick Bloem, Wolfgang Roth","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-07-10T13:22:32Z","title":"Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.04708","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:d341416719988e45e88dac8ac9dd8c82314f26789aee00d96324b5d2a3bbf9a4","target":"record","created_at":"2026-05-17T23:40:57Z","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":"97383a986bcdc7a4673c7783b69983439f08f09e101d5ae590ecf0aed3f740a3","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-07-10T13:22:32Z","title_canon_sha256":"b7f3fae5c636cfaea8e071224198072872648da85802a81d8bfae53fd9482a47"},"schema_version":"1.0","source":{"id":"1907.04708","kind":"arxiv","version":1}},"canonical_sha256":"debfbbb7ebecccf778a2c1582683f48de08e11921b255dc6567779287047a0f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"debfbbb7ebecccf778a2c1582683f48de08e11921b255dc6567779287047a0f5","first_computed_at":"2026-05-17T23:40:57.038732Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:57.038732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UoRNgrM9ptfFPddv9BOnmsBwjwi8JCPKJMRPIPMXKR14nXmKj4naL9kiBIV84kW/sxPJk3hveIcY3FX7QeLVAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:57.039483Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.04708","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d341416719988e45e88dac8ac9dd8c82314f26789aee00d96324b5d2a3bbf9a4","sha256:c4e7a85a74bb232a2ffa09dbd32b44a005479b9cfc532019e30f5ab09c13cb51"],"state_sha256":"0829ad125d74f733cea3793e2c9556bd2da9ff85cc8e5cbee276de24d6bf25bf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fhZPzr66jNvKDx8l9vsEaJ5Hio3sH+3g+8eZjC9vrfpyxtVKa+xNuiImt0tlAC9RPdWLAlsHcNJ3AQnPszLDDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T00:07:58.914442Z","bundle_sha256":"71eb563251ceb3ef3c5127baf529b1e636f4106a137155117a65263f7cea06a2"}}