{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:5XO2SC6Y7HQLQQZQUHJUQZHDSF","short_pith_number":"pith:5XO2SC6Y","schema_version":"1.0","canonical_sha256":"eddda90bd8f9e0b84330a1d34864e39149a7507d2b3ce21d51304c3f1dd12f00","source":{"kind":"arxiv","id":"2106.14959","version":1},"attestation_state":"computed","paper":{"title":"Avis: In-Situ Model Checking for Unmanned Aerial Vehicles","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Christopher Stewart, Feng Qin, Haicheng Chen, Max Taylor","submitted_at":"2021-06-28T19:51:14Z","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"},"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":"2106.14959","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-06-28T19:51:14Z","cross_cats_sorted":[],"title_canon_sha256":"40acfbf975973cefc90d8eb85be8a08c693941363d988722e6241b8250b25edb","abstract_canon_sha256":"209a188a33d83e93626414a5d58f8ae45a8a9634ecddc23127b72366f57c0b27"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:53:03.821769Z","signature_b64":"sdeMypACZ3DQUSb5t8FKYuaqP2HDqosbaeZ+B2OH/9gy90hSzxb8oKXw6oWe2vjk7OjUkdkV3mdRE7lRpdb5DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eddda90bd8f9e0b84330a1d34864e39149a7507d2b3ce21d51304c3f1dd12f00","last_reissued_at":"2026-07-05T02:53:03.821275Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:53:03.821275Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Avis: In-Situ Model Checking for Unmanned Aerial Vehicles","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Christopher Stewart, Feng Qin, Haicheng Chen, Max Taylor","submitted_at":"2021-06-28T19:51:14Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.14959","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2106.14959/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2106.14959","created_at":"2026-07-05T02:53:03.821337+00:00"},{"alias_kind":"arxiv_version","alias_value":"2106.14959v1","created_at":"2026-07-05T02:53:03.821337+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.14959","created_at":"2026-07-05T02:53:03.821337+00:00"},{"alias_kind":"pith_short_12","alias_value":"5XO2SC6Y7HQL","created_at":"2026-07-05T02:53:03.821337+00:00"},{"alias_kind":"pith_short_16","alias_value":"5XO2SC6Y7HQLQQZQ","created_at":"2026-07-05T02:53:03.821337+00:00"},{"alias_kind":"pith_short_8","alias_value":"5XO2SC6Y","created_at":"2026-07-05T02:53:03.821337+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.11040","citing_title":"A Multi-Interface Firmware Acquisition and Validation Methodology for Low-Cost Consumer Drones: A Case Study on Three Holy Stone Platforms","ref_index":15,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5XO2SC6Y7HQLQQZQUHJUQZHDSF","json":"https://pith.science/pith/5XO2SC6Y7HQLQQZQUHJUQZHDSF.json","graph_json":"https://pith.science/api/pith-number/5XO2SC6Y7HQLQQZQUHJUQZHDSF/graph.json","events_json":"https://pith.science/api/pith-number/5XO2SC6Y7HQLQQZQUHJUQZHDSF/events.json","paper":"https://pith.science/paper/5XO2SC6Y"},"agent_actions":{"view_html":"https://pith.science/pith/5XO2SC6Y7HQLQQZQUHJUQZHDSF","download_json":"https://pith.science/pith/5XO2SC6Y7HQLQQZQUHJUQZHDSF.json","view_paper":"https://pith.science/paper/5XO2SC6Y","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2106.14959&json=true","fetch_graph":"https://pith.science/api/pith-number/5XO2SC6Y7HQLQQZQUHJUQZHDSF/graph.json","fetch_events":"https://pith.science/api/pith-number/5XO2SC6Y7HQLQQZQUHJUQZHDSF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5XO2SC6Y7HQLQQZQUHJUQZHDSF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5XO2SC6Y7HQLQQZQUHJUQZHDSF/action/storage_attestation","attest_author":"https://pith.science/pith/5XO2SC6Y7HQLQQZQUHJUQZHDSF/action/author_attestation","sign_citation":"https://pith.science/pith/5XO2SC6Y7HQLQQZQUHJUQZHDSF/action/citation_signature","submit_replication":"https://pith.science/pith/5XO2SC6Y7HQLQQZQUHJUQZHDSF/action/replication_record"}},"created_at":"2026-07-05T02:53:03.821337+00:00","updated_at":"2026-07-05T02:53:03.821337+00:00"}