{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005879459,0.00006860305,0.0000748152,0.00004074367,0.00006016883,0.00006540652,0.0004044748,0.00003815547,0.000009919675],"category_scores_gemma":[0.0002149381,0.00005934845,0.00003738299,0.0001596166,0.00001156284,0.0003476998,0.00004397205,0.0000412053,0.00001138216],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002398883,"about_ca_system_score_gemma":0.00004796748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005751043,"about_ca_topic_score_gemma":0.000001100406,"domain_scores_codex":[0.9993668,0.0000298418,0.0001225173,0.0001969988,0.0001131314,0.0001706969],"domain_scores_gemma":[0.9994558,0.00002318881,0.00003941496,0.0003857951,0.00005935903,0.00003645887],"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.000001285939,0.00001587455,0.00001881569,0.00001213876,0.000002326865,2.760936e-7,0.000772023,0.0009786028,0.001665076,0.9631587,0.0001660039,0.03320883],"study_design_scores_gemma":[0.0001453539,0.00001816068,0.00007821715,0.000003454031,0.000001713407,0.000003920376,0.0000563901,0.9058667,0.08157306,0.01102144,0.001125047,0.0001065684],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006421561,0.0000292913,0.9582916,0.00008170693,0.000204088,0.0001388749,7.129111e-7,0.0001566901,0.03467545],"genre_scores_gemma":[0.160151,0.00000113941,0.8384658,0.0002220047,0.00001690164,0.00003284089,6.536817e-7,0.000005573996,0.001104092],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9521373,"threshold_uncertainty_score":0.242016,"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."}}