{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:54MI3IYLD4NFDA65Z4U7PDMTF5","short_pith_number":"pith:54MI3IYL","schema_version":"1.0","canonical_sha256":"ef188da30b1f1a5183ddcf29f78d932f467e872685eb66972bf970daf88fe649","source":{"kind":"arxiv","id":"1811.06502","version":2},"attestation_state":"computed","paper":{"title":"Verified Runtime Validation for Partially Observable Hybrid Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Andr\\'e Platzer, Stefan Mitsch","submitted_at":"2018-11-15T17:59:13Z","abstract_excerpt":"Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations lead to safe physical behavior (e.g., cars should not collide). Control computations that affect physical dynamics must act in advance to avoid possibly unsafe future circumstances. Formal verification then ensures that the controllers correctly identify and provably avoid unsafe future situations under a certain model of physics. But any model of physics ne"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1811.06502","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-15T17:59:13Z","cross_cats_sorted":[],"title_canon_sha256":"2e3b3787d31f635e6ac05e58627a05541b8727407970811bdcd12390da4ad928","abstract_canon_sha256":"d77586687fbc3557b7d77c70ac5825d1e375ed27f7d26358831b550aa8b85e70"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:51.568461Z","signature_b64":"OltI81EBmq4mZMuuYnssIhwhnKE6rxseAxLDbutAhpqYT5YHFudHkN1MKzGldlzeS6qz5/wejG0MReM4/YORBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ef188da30b1f1a5183ddcf29f78d932f467e872685eb66972bf970daf88fe649","last_reissued_at":"2026-05-17T23:52:51.567765Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:51.567765Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verified Runtime Validation for Partially Observable Hybrid Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Andr\\'e Platzer, Stefan Mitsch","submitted_at":"2018-11-15T17:59:13Z","abstract_excerpt":"Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations lead to safe physical behavior (e.g., cars should not collide). Control computations that affect physical dynamics must act in advance to avoid possibly unsafe future circumstances. Formal verification then ensures that the controllers correctly identify and provably avoid unsafe future situations under a certain model of physics. But any model of physics ne"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06502","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1811.06502","created_at":"2026-05-17T23:52:51.567881+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.06502v2","created_at":"2026-05-17T23:52:51.567881+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06502","created_at":"2026-05-17T23:52:51.567881+00:00"},{"alias_kind":"pith_short_12","alias_value":"54MI3IYLD4NF","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_16","alias_value":"54MI3IYLD4NFDA65","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_8","alias_value":"54MI3IYL","created_at":"2026-05-18T12:32:05.422762+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/54MI3IYLD4NFDA65Z4U7PDMTF5","json":"https://pith.science/pith/54MI3IYLD4NFDA65Z4U7PDMTF5.json","graph_json":"https://pith.science/api/pith-number/54MI3IYLD4NFDA65Z4U7PDMTF5/graph.json","events_json":"https://pith.science/api/pith-number/54MI3IYLD4NFDA65Z4U7PDMTF5/events.json","paper":"https://pith.science/paper/54MI3IYL"},"agent_actions":{"view_html":"https://pith.science/pith/54MI3IYLD4NFDA65Z4U7PDMTF5","download_json":"https://pith.science/pith/54MI3IYLD4NFDA65Z4U7PDMTF5.json","view_paper":"https://pith.science/paper/54MI3IYL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.06502&json=true","fetch_graph":"https://pith.science/api/pith-number/54MI3IYLD4NFDA65Z4U7PDMTF5/graph.json","fetch_events":"https://pith.science/api/pith-number/54MI3IYLD4NFDA65Z4U7PDMTF5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/54MI3IYLD4NFDA65Z4U7PDMTF5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/54MI3IYLD4NFDA65Z4U7PDMTF5/action/storage_attestation","attest_author":"https://pith.science/pith/54MI3IYLD4NFDA65Z4U7PDMTF5/action/author_attestation","sign_citation":"https://pith.science/pith/54MI3IYLD4NFDA65Z4U7PDMTF5/action/citation_signature","submit_replication":"https://pith.science/pith/54MI3IYLD4NFDA65Z4U7PDMTF5/action/replication_record"}},"created_at":"2026-05-17T23:52:51.567881+00:00","updated_at":"2026-05-17T23:52:51.567881+00:00"}