{"id":"W2951800195","doi":"10.48550/arxiv.1005.5142","title":"Unprovability of the Logical Characterization of Bisimulation","year":2010,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Characterization (materials science); Bisimulation; Counterexample; Markov chain; Markov process; Set (abstract data type); Mathematics; State (computer science); Discrete mathematics; Event (particle physics); Computer science; Theoretical computer science; Pure mathematics; Algorithm; Programming language; Statistics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.01870684,0.0009958944,0.001410824,0.002821746,0.003287311,0.008259114,0.003824284,0.004290132,0.004137515],"category_scores_gemma":[0.04774852,0.001409929,0.003183848,0.002226597,0.02521194,0.02125623,0.007172898,0.0152918,0.0009906188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00608842,"about_ca_system_score_gemma":0.004018087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001394031,"about_ca_topic_score_gemma":0.0005530785,"domain_scores_codex":[0.9813587,0.00721761,0.001623432,0.003569871,0.00527923,0.0009510787],"domain_scores_gemma":[0.954196,0.03495622,0.00158576,0.004285282,0.004184382,0.0007922988],"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.0000131251,0.0000101996,0.00006993512,0.00008939099,0.00001069774,0.00005543018,0.0001888041,0.0006377936,0.0002972666,0.9947459,0.0004424736,0.003439107],"study_design_scores_gemma":[0.00001440834,0.00001630886,0.00004524328,0.00006029065,0.00001109796,0.00007867801,0.00006176544,0.003818229,0.00132378,0.986421,0.008135299,0.00001387832],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02355416,0.006394744,0.9154133,0.01906338,0.001263424,0.000129307,0.0003567271,0.0008426431,0.03298242],"genre_scores_gemma":[0.7865682,0.005561832,0.1936677,0.006579478,0.00230394,0.0005607718,0.0004084062,0.0003832107,0.003966528],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01870684,"threshold_uncertainty_score":0.09893245,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.10242870429841,"score_gpt":0.2162461906276554,"score_spread":0.1138174863292454,"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."}}