{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:CROMXLIHCMVPQ7NKXBH7DUMCSD","short_pith_number":"pith:CROMXLIH","canonical_record":{"source":{"id":"2212.05200","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-12-10T04:44:25Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"773b29dbd0e4003f346acb97612a953695109f96cbf4bb35316170d7ff8e0045","abstract_canon_sha256":"709be8d8805a82e3b9e0d6d58959d847214ac232f0bc09f229971121af613293"},"schema_version":"1.0"},"canonical_sha256":"145ccbad07132af87daab84ff1d18290ee201d0c9f09e74b30f73648c84e134f","source":{"kind":"arxiv","id":"2212.05200","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.05200","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"arxiv_version","alias_value":"2212.05200v1","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.05200","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"pith_short_12","alias_value":"CROMXLIHCMVP","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"pith_short_16","alias_value":"CROMXLIHCMVPQ7NK","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"pith_short_8","alias_value":"CROMXLIH","created_at":"2026-07-05T05:24:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:CROMXLIHCMVPQ7NKXBH7DUMCSD","target":"record","payload":{"canonical_record":{"source":{"id":"2212.05200","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-12-10T04:44:25Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"773b29dbd0e4003f346acb97612a953695109f96cbf4bb35316170d7ff8e0045","abstract_canon_sha256":"709be8d8805a82e3b9e0d6d58959d847214ac232f0bc09f229971121af613293"},"schema_version":"1.0"},"canonical_sha256":"145ccbad07132af87daab84ff1d18290ee201d0c9f09e74b30f73648c84e134f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:24:01.309667Z","signature_b64":"S7BibK3G6aYS7gueTwSPajc2S0OvRbuyfyx3VBeqpdqQdxusWHf4dW925HBxgeURwQ6TVtbRHavBttdGc8ckDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"145ccbad07132af87daab84ff1d18290ee201d0c9f09e74b30f73648c84e134f","last_reissued_at":"2026-07-05T05:24:01.309235Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:24:01.309235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2212.05200","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-07-05T05:24:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qKBxiB3wLc9otE610mpvDJcNHRUUQBonUd85/ziJJPk69tVBFfYLzg/T+dyr4KPxzndd+z1SCxGNn5YhktxNDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T20:51:26.665605Z"},"content_sha256":"6a189cb0725d2994d75c3d3744300070f577a06b9702798203b5df0eacacb69f","schema_version":"1.0","event_id":"sha256:6a189cb0725d2994d75c3d3744300070f577a06b9702798203b5df0eacacb69f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:CROMXLIHCMVPQ7NKXBH7DUMCSD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"Kazumune Hashimoto, Masako Kishida, Shigemasa Takai, Wataru Hashimoto","submitted_at":"2022-12-10T04:44:25Z","abstract_excerpt":"In this paper, we propose a control synthesis method for signal temporal logic (STL) specifications with neural networks (NNs). Most of the previous works consider training a controller for only a given STL specification. These approaches, however, require retraining the NN controller if a new specification arises and needs to be satisfied, which results in large consumption of memory and inefficient training. To tackle this problem, we propose to construct NN controllers by introducing encoder-decoder structured NNs with an attention mechanism. The encoder takes an STL formula as input and en"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.05200","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2212.05200/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T05:24:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J5c5zNZJ/p7MPW5gtqCiWFkT844V3yP/+iETKA34beokPAic7bxk9EcpXP//YR8e8Wu5a5cMQyqc3zayJHhRCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T20:51:26.665950Z"},"content_sha256":"3f08509c57e0cfb9bfc1c897c51706d4a64fa22a923744ac226ccdae1774127f","schema_version":"1.0","event_id":"sha256:3f08509c57e0cfb9bfc1c897c51706d4a64fa22a923744ac226ccdae1774127f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CROMXLIHCMVPQ7NKXBH7DUMCSD/bundle.json","state_url":"https://pith.science/pith/CROMXLIHCMVPQ7NKXBH7DUMCSD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CROMXLIHCMVPQ7NKXBH7DUMCSD/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-08-19T20:51:26Z","links":{"resolver":"https://pith.science/pith/CROMXLIHCMVPQ7NKXBH7DUMCSD","bundle":"https://pith.science/pith/CROMXLIHCMVPQ7NKXBH7DUMCSD/bundle.json","state":"https://pith.science/pith/CROMXLIHCMVPQ7NKXBH7DUMCSD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CROMXLIHCMVPQ7NKXBH7DUMCSD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:CROMXLIHCMVPQ7NKXBH7DUMCSD","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":"709be8d8805a82e3b9e0d6d58959d847214ac232f0bc09f229971121af613293","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-12-10T04:44:25Z","title_canon_sha256":"773b29dbd0e4003f346acb97612a953695109f96cbf4bb35316170d7ff8e0045"},"schema_version":"1.0","source":{"id":"2212.05200","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.05200","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"arxiv_version","alias_value":"2212.05200v1","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.05200","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"pith_short_12","alias_value":"CROMXLIHCMVP","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"pith_short_16","alias_value":"CROMXLIHCMVPQ7NK","created_at":"2026-07-05T05:24:01Z"},{"alias_kind":"pith_short_8","alias_value":"CROMXLIH","created_at":"2026-07-05T05:24:01Z"}],"graph_snapshots":[{"event_id":"sha256:3f08509c57e0cfb9bfc1c897c51706d4a64fa22a923744ac226ccdae1774127f","target":"graph","created_at":"2026-07-05T05:24:01Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2212.05200/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we propose a control synthesis method for signal temporal logic (STL) specifications with neural networks (NNs). Most of the previous works consider training a controller for only a given STL specification. These approaches, however, require retraining the NN controller if a new specification arises and needs to be satisfied, which results in large consumption of memory and inefficient training. To tackle this problem, we propose to construct NN controllers by introducing encoder-decoder structured NNs with an attention mechanism. The encoder takes an STL formula as input and en","authors_text":"Kazumune Hashimoto, Masako Kishida, Shigemasa Takai, Wataru Hashimoto","cross_cats":["cs.LG","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-12-10T04:44:25Z","title":"Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.05200","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:6a189cb0725d2994d75c3d3744300070f577a06b9702798203b5df0eacacb69f","target":"record","created_at":"2026-07-05T05:24:01Z","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":"709be8d8805a82e3b9e0d6d58959d847214ac232f0bc09f229971121af613293","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-12-10T04:44:25Z","title_canon_sha256":"773b29dbd0e4003f346acb97612a953695109f96cbf4bb35316170d7ff8e0045"},"schema_version":"1.0","source":{"id":"2212.05200","kind":"arxiv","version":1}},"canonical_sha256":"145ccbad07132af87daab84ff1d18290ee201d0c9f09e74b30f73648c84e134f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"145ccbad07132af87daab84ff1d18290ee201d0c9f09e74b30f73648c84e134f","first_computed_at":"2026-07-05T05:24:01.309235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:24:01.309235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S7BibK3G6aYS7gueTwSPajc2S0OvRbuyfyx3VBeqpdqQdxusWHf4dW925HBxgeURwQ6TVtbRHavBttdGc8ckDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:24:01.309667Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.05200","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6a189cb0725d2994d75c3d3744300070f577a06b9702798203b5df0eacacb69f","sha256:3f08509c57e0cfb9bfc1c897c51706d4a64fa22a923744ac226ccdae1774127f"],"state_sha256":"397801f7ece3b54a15e6fb7fcb768c93f3da70f796cdbe6f77d77c63c2cbc358"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/iI34mxJDnWKnImoNv8iztQu3w0t/bJZQpptt1pXB8HDr9XlQ1b5LcKzIuBP/oC5xAaJtVFieB3Jg9NV3D4iCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T20:51:26.669204Z","bundle_sha256":"a09117d9d0d673b20a69ed42f7599003e82bc5761740d560304b43bdd561b6e1"}}