{"id":"W2526743241","doi":"10.23638/lmcs-13(3:24)2017","title":"Well Behaved Transition Systems","year":2017,"lang":"en","type":"preprint","venue":"Logical Methods in Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds de recherche du Québec – Nature et technologies; Centre National de la Recherche Scientifique; Agence Nationale de la Recherche","keywords":"Undecidable problem; Decidability; Mathematical proof; Monotone polygon; Monotonic function; Class (philosophy); Mathematics; Discrete mathematics; Computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001881691,0.0004118503,0.0003079861,0.000705653,0.001141592,0.002960815,0.0009614913,0.00163547,0.01014472],"category_scores_gemma":[0.006161116,0.0004047791,0.0007278999,0.0007399699,0.003982089,0.006571847,0.001470307,0.002608928,0.002502276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001579628,"about_ca_system_score_gemma":0.001552672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001901859,"about_ca_topic_score_gemma":0.001705446,"domain_scores_codex":[0.9979944,0.0003870658,0.0001582473,0.0006272615,0.0006480779,0.0001849573],"domain_scores_gemma":[0.9959713,0.00161111,0.0003071457,0.001049028,0.0008394787,0.0002218889],"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.00001406955,0.000004811005,0.0001375932,0.00004540073,0.000004713194,0.00007026246,0.0001388722,0.001639259,0.000946275,0.9883022,0.002881247,0.005815283],"study_design_scores_gemma":[0.0000191885,0.00002003204,0.0001633209,0.00004384582,0.00000988495,0.0001452297,0.00008714727,0.00994772,0.002333387,0.9096206,0.07759458,0.00001510105],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03045461,0.001822182,0.8113536,0.01269147,0.001219712,0.000219351,0.001802055,0.002409038,0.1380281],"genre_scores_gemma":[0.6430317,0.002999839,0.2891383,0.003852669,0.0007780152,0.0005420927,0.002091395,0.0005208339,0.05704504],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01014472,"threshold_uncertainty_score":0.03393745,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.143999148359379,"score_gpt":0.4313153526342025,"score_spread":0.2873162042748235,"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."}}