{"id":"W2162555555","doi":"10.1109/acc.2007.4282824","title":"Blocking in Parameterized Networks of Discrete-Event-Systems","year":2007,"lang":"en","type":"article","venue":"Proceedings of the ... American Control Conference/Proceedings of the American Control Conference","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Blocking (statistics); Undecidable problem; Decidability; Parameterized complexity; Computer science; Theoretical computer science; Process (computing); Class (philosophy); Component (thermodynamics); Distributed computing; Algorithm; Computer network; Artificial intelligence","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.003177302,0.0008645485,0.0008308249,0.0008442461,0.0009853655,0.003509678,0.001797174,0.001346326,0.002755078],"category_scores_gemma":[0.01814165,0.0009946788,0.001077017,0.0009864199,0.002990531,0.007000991,0.001845458,0.001944724,0.000280688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003333859,"about_ca_system_score_gemma":0.001731505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006947071,"about_ca_topic_score_gemma":0.00505354,"domain_scores_codex":[0.9965766,0.001310193,0.0002561323,0.0007444125,0.0006947545,0.0004178557],"domain_scores_gemma":[0.9758494,0.01897161,0.00174367,0.002106453,0.0008801693,0.0004487457],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003807899,0.0001207209,0.002786978,0.0003280761,0.0001056054,0.0003921595,0.00056136,0.5434592,0.007013812,0.4226854,0.0007276196,0.02143824],"study_design_scores_gemma":[0.00004694159,0.00003048064,0.0003102489,0.00002810323,0.00003931809,0.00006349114,0.00008747976,0.7375534,0.004784768,0.2542674,0.002764708,0.00002369946],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1647901,0.0007465954,0.8233647,0.0007240673,0.00004959511,0.0002156509,0.0004034447,0.001305814,0.008400041],"genre_scores_gemma":[0.8935384,0.0006092027,0.1013432,0.0001141958,0.00004177901,0.0002927104,0.0007039048,0.0001906417,0.00316607],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006947071,"threshold_uncertainty_score":0.02418888,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01504984748450166,"score_gpt":0.2669087959828706,"score_spread":0.2518589484983689,"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."}}