{"id":"W1708665","doi":"10.1007/978-3-662-43951-7_2","title":"Handling Infinitely Branching WSTS","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Decidability; Branching (polymer chemistry); Petri net; Automaton; Mathematics; Finite-state machine; Antichain; Discrete mathematics; Pure mathematics; Computer science; Theoretical computer science; Algorithm; Partially ordered set","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.00115898,0.0007149741,0.0005994073,0.001006852,0.001170307,0.003364888,0.001636449,0.000927415,0.01207113],"category_scores_gemma":[0.005631955,0.000746386,0.001299411,0.001482422,0.001887932,0.00714853,0.005011288,0.003372198,0.002502929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008530826,"about_ca_system_score_gemma":0.000800111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00113714,"about_ca_topic_score_gemma":0.001057616,"domain_scores_codex":[0.9986956,0.0001617576,0.0001341484,0.0002146558,0.000554857,0.0002389405],"domain_scores_gemma":[0.9976345,0.00105251,0.0001282885,0.0007127266,0.0003363989,0.0001354188],"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.0001193222,0.00004463501,0.0005669329,0.0002512884,0.00003950078,0.0008314805,0.001079852,0.01108636,0.01431526,0.8554487,0.005323029,0.1108935],"study_design_scores_gemma":[0.00002097152,0.00002102342,0.0001500037,0.00009532598,0.00005311198,0.0005690277,0.0002464935,0.03874075,0.01657038,0.8828616,0.06063628,0.00003499684],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0412639,0.000497483,0.9024012,0.0005420299,0.0004281976,0.00008259137,0.0002599509,0.004716543,0.04980818],"genre_scores_gemma":[0.6211219,0.001491274,0.2932446,0.0003714858,0.0003663031,0.0001930578,0.001404912,0.00389975,0.07790663],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01207113,"threshold_uncertainty_score":0.04038197,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02823685050316993,"score_gpt":0.2770631855992524,"score_spread":0.2488263350960825,"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."}}