{"id":"W4296345334","doi":"10.4204/eptcs.370.14","title":"Characterizing the Decidability of Finite State Automata Team Games with Communication","year":2022,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Undecidable problem; Decidability; Perfect information; Computer science; Imperfect; Automaton; State (computer science); Bounded function; Finite-state machine; Theoretical computer science; Discrete mathematics; Mathematical economics; Mathematics; Algorithm","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.006780452,0.001371222,0.001911458,0.001645347,0.002276727,0.008237005,0.006031884,0.004306616,0.003377521],"category_scores_gemma":[0.04616574,0.001835426,0.003484257,0.001422097,0.006644914,0.01626369,0.004759124,0.007428123,0.0002847739],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00661891,"about_ca_system_score_gemma":0.005268843,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00683647,"about_ca_topic_score_gemma":0.004499621,"domain_scores_codex":[0.9880642,0.003255042,0.0009604995,0.00285165,0.00276059,0.002107974],"domain_scores_gemma":[0.9001621,0.0862349,0.004802691,0.004992084,0.002041048,0.00176715],"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.0004716244,0.0004727729,0.005157161,0.0003482746,0.0002716251,0.0008617042,0.002134266,0.252673,0.005998908,0.7184244,0.001836328,0.01134995],"study_design_scores_gemma":[0.0001141477,0.00008178857,0.0002774999,0.00004016753,0.00007778789,0.0001567636,0.000207593,0.5833545,0.003631209,0.4109021,0.001115434,0.00004104054],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3443583,0.0005069728,0.6376022,0.002748025,0.00008868553,0.0003052241,0.0007768535,0.001458469,0.01215525],"genre_scores_gemma":[0.9516869,0.0001721508,0.04389128,0.0003528706,0.0001256629,0.0003763179,0.0005695862,0.0002154674,0.002609659],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008237005,"threshold_uncertainty_score":0.0480237,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004493288395293986,"score_gpt":0.217890313072296,"score_spread":0.213397024677002,"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."}}