{"id":"W146083093","doi":"10.1007/978-3-540-69209-6_18","title":"Modeling and Validation of Aviation Security","year":2008,"lang":"en","type":"book-chapter","venue":"Studies in computational intelligence","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Probabilistic logic; Airport security; Computer science; Civil aviation; Aviation; Consistency (knowledge bases); Security analysis; Model checking; Automaton; Computer security; Engineering; Artificial intelligence; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001518312,0.001098185,0.0007350641,0.000954092,0.0006371894,0.003379815,0.001834077,0.00150299,0.006417367],"category_scores_gemma":[0.004336613,0.0009305737,0.001049599,0.0007443296,0.003446928,0.004996305,0.001046834,0.002949281,0.00150119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001931846,"about_ca_system_score_gemma":0.002053448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004706543,"about_ca_topic_score_gemma":0.003505693,"domain_scores_codex":[0.9989824,0.000339667,0.00005096048,0.0001262962,0.0004486899,0.00005196172],"domain_scores_gemma":[0.9974995,0.001679298,0.00008934613,0.0004828003,0.0002169494,0.00003221538],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009245453,0.00001937905,0.0001345512,0.0001405661,0.00001661547,0.00004886066,0.0001842136,0.02966562,0.0007909843,0.9324977,0.005867178,0.03062508],"study_design_scores_gemma":[0.000008647985,0.00001489815,0.0001340528,0.0002630566,0.00001844003,0.00008544271,0.00004830939,0.08552283,0.002216705,0.8308225,0.08084802,0.00001709196],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008039515,0.01059953,0.807,0.004228311,0.0005128442,0.0001352951,0.000316863,0.001115807,0.1680518],"genre_scores_gemma":[0.3803013,0.02134518,0.4810372,0.0009688939,0.0006087328,0.0004277042,0.0008974795,0.0007619581,0.1136516],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006417367,"threshold_uncertainty_score":0.02146822,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.158172916914734,"score_gpt":0.3817672672405796,"score_spread":0.2235943503258457,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}