{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:BP5NMGEXRRFXAZ6VEO37IO4ZLN","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":"ab482722b654c95edefda330083e5b70cbf3ebd96293d11578217afdf50926f3","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-25T16:49:14Z","title_canon_sha256":"042d72dc1235d7c3ae7becf40a219f7e669880e0f299f7c82f0f0da2e6e6684c"},"schema_version":"1.0","source":{"id":"2310.16760","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.16760","created_at":"2026-07-05T07:05:02Z"},{"alias_kind":"arxiv_version","alias_value":"2310.16760v1","created_at":"2026-07-05T07:05:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.16760","created_at":"2026-07-05T07:05:02Z"},{"alias_kind":"pith_short_12","alias_value":"BP5NMGEXRRFX","created_at":"2026-07-05T07:05:02Z"},{"alias_kind":"pith_short_16","alias_value":"BP5NMGEXRRFXAZ6V","created_at":"2026-07-05T07:05:02Z"},{"alias_kind":"pith_short_8","alias_value":"BP5NMGEX","created_at":"2026-07-05T07:05:02Z"}],"graph_snapshots":[{"event_id":"sha256:187457d36f99cba9d9e90697bca08c48f243099725d6ade5efe8ef78cffce0fb","target":"graph","created_at":"2026-07-05T07:05:02Z","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/2310.16760/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a method, which incorporates knowledge awareness into the symbolic computation of discrete controllers for reactive cyber physical systems, to improve decision making about the unknown operating environment under uncertain/incomplete inputs. Assuming an abstract model of the system and the environment, we translate the knowledge awareness of the operating context into linear temporal logic formulas and incorporate them into the system specifications to synthesize a controller. The knowledge base is built upon an ontology model of the environment objects and behavioural rules, which ","authors_text":"Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjani","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-25T16:49:14Z","title":"Using Knowledge Awareness to improve Safety of Autonomous Driving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.16760","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:0c5a65b08bdb5796a9bfa1590c686506b6a43a733382db2fc899f4b638e90f28","target":"record","created_at":"2026-07-05T07:05:02Z","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":"ab482722b654c95edefda330083e5b70cbf3ebd96293d11578217afdf50926f3","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-10-25T16:49:14Z","title_canon_sha256":"042d72dc1235d7c3ae7becf40a219f7e669880e0f299f7c82f0f0da2e6e6684c"},"schema_version":"1.0","source":{"id":"2310.16760","kind":"arxiv","version":1}},"canonical_sha256":"0bfad618978c4b7067d523b7f43b995b681f99dfcf2f409017996014e245d348","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0bfad618978c4b7067d523b7f43b995b681f99dfcf2f409017996014e245d348","first_computed_at":"2026-07-05T07:05:02.667169Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:05:02.667169Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m8mEhR0D++VhHDK6IcSdIPhr4IvIHbvVhttBknEw+VW6v6D47OhnKmcJ73MKrvYs/hCVoXrffmCaoGMNXHpDBg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:05:02.667724Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.16760","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c5a65b08bdb5796a9bfa1590c686506b6a43a733382db2fc899f4b638e90f28","sha256:187457d36f99cba9d9e90697bca08c48f243099725d6ade5efe8ef78cffce0fb"],"state_sha256":"d57e2e089c208db85b75d525d842830921e0982270041034caa6a08a79d5a997"}