{"id":"W1507699160","doi":"10.1109/sew.2003.1270726","title":"On the run-time verification of autonomy software","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Dependability; Computer science; Model checking; Formal verification; Formal methods; Software verification; Autonomy; Software engineering; Runtime verification; Scheduling (production processes); Verification and validation; Software; Survivability; Redundancy (engineering); Software system; Systems engineering; Programming language; Software construction; Engineering; Operating system","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.006908433,0.0008969415,0.0008469647,0.001527106,0.001106408,0.002898336,0.001731271,0.00165431,0.002482351],"category_scores_gemma":[0.02751372,0.0007248102,0.001666266,0.001404348,0.005903721,0.00530019,0.002499419,0.00253634,0.0007718251],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001644776,"about_ca_system_score_gemma":0.002943647,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007630459,"about_ca_topic_score_gemma":0.005224513,"domain_scores_codex":[0.9907617,0.004006508,0.0004844659,0.0007217993,0.003389306,0.0006361507],"domain_scores_gemma":[0.9666886,0.02663854,0.001259445,0.003878623,0.001325721,0.0002090324],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003734914,0.0001612681,0.002509356,0.0007124803,0.0001110507,0.0008999461,0.001556537,0.3291469,0.02720148,0.5011973,0.002082127,0.134048],"study_design_scores_gemma":[0.00009392162,0.0001803198,0.0007038112,0.0002955864,0.00008131821,0.0003175431,0.0001847326,0.6175365,0.03080514,0.3356125,0.01411037,0.00007820466],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02347422,0.0007428101,0.969708,0.0008699155,0.00005581366,0.0000516123,0.00006061486,0.001007837,0.004029269],"genre_scores_gemma":[0.647047,0.00315516,0.3434365,0.0004880718,0.000174224,0.0002216259,0.000321884,0.0007507332,0.004404839],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007630459,"threshold_uncertainty_score":0.03653574,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02057377325175415,"score_gpt":0.2534639773207327,"score_spread":0.2328902040689786,"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."}}