{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:Q4VPSZ6QCMXZKAPC62UT7Z3VTD","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":"240ff4eb05bb629af8c1438ba2fd6d42bae303b66f9eac036aacd7186d77317e","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-30T09:21:51Z","title_canon_sha256":"90a3d7bd914d64f07d8d76b44578e70b08ac3ce91b9bffde5458f5a5c7baac3e"},"schema_version":"1.0","source":{"id":"2607.27908","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.27908","created_at":"2026-07-31T01:34:46Z"},{"alias_kind":"arxiv_version","alias_value":"2607.27908v1","created_at":"2026-07-31T01:34:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.27908","created_at":"2026-07-31T01:34:46Z"},{"alias_kind":"pith_short_12","alias_value":"Q4VPSZ6QCMXZ","created_at":"2026-07-31T01:34:46Z"},{"alias_kind":"pith_short_16","alias_value":"Q4VPSZ6QCMXZKAPC","created_at":"2026-07-31T01:34:46Z"},{"alias_kind":"pith_short_8","alias_value":"Q4VPSZ6Q","created_at":"2026-07-31T01:34:46Z"}],"graph_snapshots":[{"event_id":"sha256:54324a3490f265c54e0336b0f13a8209af5fafcef680dcb841e81550c8699c80","target":"graph","created_at":"2026-07-31T01:34:46Z","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/2607.27908/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Data-driven approaches with formal guarantees have recently emerged as a powerful means for the verification and controller synthesis of complex dynamical systems. Interest in these methods is rapidly growing, as system models are often unavailable in practice, and challenges such as nonlinear behavior, uncertainty, and the curse of dimensionality typically render accurate modeling infeasible. These difficulties motivate leveraging limited data collected from the system while still providing formal guarantees on its overall behavior. The community has therefore proposed a few hundred articles ","authors_text":"Abolfazl Lavaei, Alessandro Abate, Amy Nejati, Antoine Girard, Behrad Samari, Majid Zamani","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.27908","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:b2121f39f6d075bcccbdaefae3cf4c11cb3f082ae7cc1e8b5af85f5d6077da0b","target":"record","created_at":"2026-07-31T01:34:46Z","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":"240ff4eb05bb629af8c1438ba2fd6d42bae303b66f9eac036aacd7186d77317e","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-30T09:21:51Z","title_canon_sha256":"90a3d7bd914d64f07d8d76b44578e70b08ac3ce91b9bffde5458f5a5c7baac3e"},"schema_version":"1.0","source":{"id":"2607.27908","kind":"arxiv","version":1}},"canonical_sha256":"872af967d0132f9501e2f6a93fe77598d4853c8bfa8be063a884d66a13a96bf2","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"872af967d0132f9501e2f6a93fe77598d4853c8bfa8be063a884d66a13a96bf2","first_computed_at":"2026-07-31T01:34:46.537271Z","kind":"pith_receipt","last_reissued_at":"2026-07-31T01:34:46.537271Z","receipt_version":"0.3","signature_status":"unsigned_v0"},"source_id":"2607.27908","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2121f39f6d075bcccbdaefae3cf4c11cb3f082ae7cc1e8b5af85f5d6077da0b","sha256:54324a3490f265c54e0336b0f13a8209af5fafcef680dcb841e81550c8699c80"],"state_sha256":"d16c46dcf2b88bb14925e0bc008fa95ece3e9473d99adf36ed75881e70ec7f96"}