{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:5XO2SC6Y7HQLQQZQUHJUQZHDSF","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":"209a188a33d83e93626414a5d58f8ae45a8a9634ecddc23127b72366f57c0b27","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-06-28T19:51:14Z","title_canon_sha256":"40acfbf975973cefc90d8eb85be8a08c693941363d988722e6241b8250b25edb"},"schema_version":"1.0","source":{"id":"2106.14959","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.14959","created_at":"2026-07-05T02:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"2106.14959v1","created_at":"2026-07-05T02:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.14959","created_at":"2026-07-05T02:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"5XO2SC6Y7HQL","created_at":"2026-07-05T02:53:03Z"},{"alias_kind":"pith_short_16","alias_value":"5XO2SC6Y7HQLQQZQ","created_at":"2026-07-05T02:53:03Z"},{"alias_kind":"pith_short_8","alias_value":"5XO2SC6Y","created_at":"2026-07-05T02:53:03Z"}],"graph_snapshots":[{"event_id":"sha256:aeaf5d4fd0d7bd864ee698be0cd85399a84d38d2706cb5c19edad715631ed70e","target":"graph","created_at":"2026-07-05T02:53:03Z","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/2106.14959/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Control firmware in unmanned aerial vehicles (UAVs) uses sensors to model and manage flight operations, from takeoff to landing to flying between waypoints. However, sensors can fail at any time during a flight. If control firmware mishandles sensor failures, UAVs can crash, fly away, or suffer other unsafe conditions. In-situ model checking finds sensor failures that could lead to unsafe conditions by systematically failing sensors. However, the type of sensor failure and its timing within a flight affect its manifestation, creating a large search space. We propose Avis, an in-situ model chec","authors_text":"Christopher Stewart, Feng Qin, Haicheng Chen, Max Taylor","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-06-28T19:51:14Z","title":"Avis: In-Situ Model Checking for Unmanned Aerial Vehicles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.14959","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:30268ec2ed9a0f913f1a286dbad2e33eb5f38ef50d644c301dd5dbb00f1acf0c","target":"record","created_at":"2026-07-05T02:53:03Z","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":"209a188a33d83e93626414a5d58f8ae45a8a9634ecddc23127b72366f57c0b27","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-06-28T19:51:14Z","title_canon_sha256":"40acfbf975973cefc90d8eb85be8a08c693941363d988722e6241b8250b25edb"},"schema_version":"1.0","source":{"id":"2106.14959","kind":"arxiv","version":1}},"canonical_sha256":"eddda90bd8f9e0b84330a1d34864e39149a7507d2b3ce21d51304c3f1dd12f00","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eddda90bd8f9e0b84330a1d34864e39149a7507d2b3ce21d51304c3f1dd12f00","first_computed_at":"2026-07-05T02:53:03.821275Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:53:03.821275Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sdeMypACZ3DQUSb5t8FKYuaqP2HDqosbaeZ+B2OH/9gy90hSzxb8oKXw6oWe2vjk7OjUkdkV3mdRE7lRpdb5DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:53:03.821769Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.14959","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30268ec2ed9a0f913f1a286dbad2e33eb5f38ef50d644c301dd5dbb00f1acf0c","sha256:aeaf5d4fd0d7bd864ee698be0cd85399a84d38d2706cb5c19edad715631ed70e"],"state_sha256":"3de8fd2b5f0f5efb0ce1689eb7836f2b5bb6ff471237565c95d595e8ad817eb6"}