{"id":"W2129590195","doi":"10.1109/ccece.2002.1013008","title":"Towards language emptiness model checking for MDG","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Automaton; Computer science; Emptiness; Model checking; Programming language; Automata theory; 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.003522561,0.0009956269,0.001052132,0.001841616,0.0007836979,0.002242818,0.00230642,0.001162778,0.002336344],"category_scores_gemma":[0.01461309,0.0008748852,0.002380965,0.001130792,0.00345195,0.004311657,0.003175069,0.00360023,0.0005038569],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001992621,"about_ca_system_score_gemma":0.002325114,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005724808,"about_ca_topic_score_gemma":0.006433913,"domain_scores_codex":[0.9968408,0.00105793,0.0002345979,0.0004628634,0.001110796,0.0002930045],"domain_scores_gemma":[0.9915348,0.005859081,0.0004682086,0.001085703,0.0009413781,0.0001107627],"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.0002829696,0.0001238937,0.00180224,0.000371535,0.0001085591,0.0005676065,0.0007786249,0.3442406,0.01175528,0.5619836,0.002230195,0.07575493],"study_design_scores_gemma":[0.00005620658,0.00003829467,0.00006038506,0.00005019679,0.0000342585,0.00006637562,0.00005446223,0.7061682,0.01042773,0.2795743,0.003446297,0.00002319441],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008282005,0.00008441733,0.9891031,0.0002019703,0.0000217006,0.00005980453,0.00007316951,0.00121535,0.0009585603],"genre_scores_gemma":[0.2637655,0.0002932121,0.7324294,0.0003520187,0.0000504993,0.0003282724,0.0003549758,0.0004749782,0.00195101],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005724808,"threshold_uncertainty_score":0.01862931,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05686210956197389,"score_gpt":0.348748276419683,"score_spread":0.2918861668577091,"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."}}