{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TKWJJQMOPBFVXBARGOXPBQZVNW","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":"384716df52bc2296828c0dbc0a7b851799e922334c7bf11cc95c7e217f870b62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-03-08T18:13:06Z","title_canon_sha256":"53952cffe74e31e31644794415093f4f393f43869e28ec9e5d4098057e110385"},"schema_version":"1.0","source":{"id":"1803.03237","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.03237","created_at":"2026-07-05T00:47:25Z"},{"alias_kind":"arxiv_version","alias_value":"1803.03237v2","created_at":"2026-07-05T00:47:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.03237","created_at":"2026-07-05T00:47:25Z"},{"alias_kind":"pith_short_12","alias_value":"TKWJJQMOPBFV","created_at":"2026-07-05T00:47:25Z"},{"alias_kind":"pith_short_16","alias_value":"TKWJJQMOPBFVXBAR","created_at":"2026-07-05T00:47:25Z"},{"alias_kind":"pith_short_8","alias_value":"TKWJJQMO","created_at":"2026-07-05T00:47:25Z"}],"graph_snapshots":[{"event_id":"sha256:caffb1578de72e6afac74baa2937497963444c2b31a1ad78d2b15910d0b3b621","target":"graph","created_at":"2026-07-05T00:47:25Z","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/1803.03237/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Hamilton-Jacobi (HJ) reachability analysis has been developed over the past decades into a widely-applicable tool for determining goal satisfaction and safety verification in nonlinear systems. While HJ reachability can be formulated very generally, computational complexity can be a serious impediment for many systems of practical interest. Much prior work has been devoted to computing approximate solutions to large reachability problems, yet many of these methods may only apply to very restrictive problem classes, do not generate controllers, and/or can be extremely conservative. In this pape","authors_text":"Claire J. Tomlin, David Fridovich-Keil, Sylvia Herbert, Vicenc Rubies-Royo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-03-08T18:13:06Z","title":"A Classification-based Approach for Approximate Reachability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.03237","kind":"arxiv","version":2},"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:98870a47f51bc3696f198716b7c66a8d329c54bad9a64e116696dea65f21a11c","target":"record","created_at":"2026-07-05T00:47:25Z","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":"384716df52bc2296828c0dbc0a7b851799e922334c7bf11cc95c7e217f870b62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-03-08T18:13:06Z","title_canon_sha256":"53952cffe74e31e31644794415093f4f393f43869e28ec9e5d4098057e110385"},"schema_version":"1.0","source":{"id":"1803.03237","kind":"arxiv","version":2}},"canonical_sha256":"9aac94c18e784b5b841133aef0c3356d8b7e5a09b9946b371eca488c7bdd9a23","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9aac94c18e784b5b841133aef0c3356d8b7e5a09b9946b371eca488c7bdd9a23","first_computed_at":"2026-07-05T00:47:25.228163Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:47:25.228163Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gPbshNk46kAr4X2nrD8C6ulbUGBs1SdNqEaJAP6nei7uaVnSsuiZRGwNJK5psWkKS7evYWLMS79ajyuCLVmeCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:47:25.228624Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.03237","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98870a47f51bc3696f198716b7c66a8d329c54bad9a64e116696dea65f21a11c","sha256:caffb1578de72e6afac74baa2937497963444c2b31a1ad78d2b15910d0b3b621"],"state_sha256":"5b3b26ba44aaef4deba5a2b4d9f5bc596c75a3f21b331d77d0d16641e62e2bec"}