{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.01632008,0.0005610759,0.000905949,0.0007326262,0.0005740361,0.002637001,0.01151209,0.0006226815,0.00000801684],"category_scores_gemma":[0.0006581072,0.0004984249,0.0002216235,0.0009414974,0.001243476,0.00143158,0.005637602,0.001633711,0.00004524587],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004294764,"about_ca_system_score_gemma":0.0004694963,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001230857,"about_ca_topic_score_gemma":0.000001841296,"domain_scores_codex":[0.9919754,0.002160673,0.001068294,0.002602238,0.001213898,0.0009794472],"domain_scores_gemma":[0.9936085,0.0005403446,0.0007880929,0.004349056,0.0003782951,0.0003357058],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001637439,0.000311043,0.0001182285,0.000269058,0.0000139313,0.0001071059,0.001531127,0.09003322,0.001716848,0.1712801,0.000062013,0.7345409],"study_design_scores_gemma":[0.0002006681,0.0001225274,0.004414124,0.0002777748,0.000008024163,0.00005058588,0.000004751376,0.9361137,0.001848499,0.05590095,0.0004720567,0.0005862967],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001819865,0.0002948061,0.9812293,0.0004073048,0.01261395,0.0008968617,0.000004439557,0.0003944056,0.002339081],"genre_scores_gemma":[0.03623079,0.00005936862,0.9628463,0.0002657572,0.0003943046,0.0001549735,0.000003370591,0.00001736385,0.00002781786],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8460805,"threshold_uncertainty_score":0.9997467,"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."}}