{"id":"W2496887306","doi":"10.1007/978-3-319-41540-6","title":"Computer Aided Verification","year":2016,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Robotics and Automated Systems","field":"Engineering","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Set (abstract data type); Volume (thermodynamics); Software engineering; Computer graphics (images); Programming language","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.001111139,0.001572932,0.00111054,0.001511993,0.0008050243,0.001712829,0.001589726,0.0009484708,0.07086225],"category_scores_gemma":[0.002401581,0.0008455406,0.001425632,0.0009308565,0.0009059565,0.00223546,0.002295224,0.001567438,0.03470869],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006439476,"about_ca_system_score_gemma":0.001049983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006076203,"about_ca_topic_score_gemma":0.001006704,"domain_scores_codex":[0.9983792,0.0002400926,0.00008110922,0.0003306516,0.0008643246,0.0001046576],"domain_scores_gemma":[0.9988031,0.0002972369,0.00004630636,0.0005741956,0.0002592077,0.0000199596],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001419257,0.00006581494,0.0002767484,0.0004497909,0.00004689222,0.0001329715,0.00006156423,0.009505416,0.01710786,0.07366024,0.06381322,0.8347375],"study_design_scores_gemma":[0.00006638978,0.0002504268,0.001306597,0.0004296716,0.0001050802,0.001893123,0.00008865417,0.1128306,0.1014156,0.2425768,0.5389531,0.0000838631],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003965794,0.003351979,0.8567759,0.000424968,0.0008719449,0.0001845438,0.0008754836,0.00750628,0.1260431],"genre_scores_gemma":[0.1640009,0.004891034,0.5101454,0.0006028057,0.0005670222,0.0003294343,0.006446594,0.002768496,0.3102484],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.07086225,"threshold_uncertainty_score":0.2370579,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01040601566973151,"score_gpt":0.2137149068595972,"score_spread":0.2033088911898657,"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."}}