{"id":"W2100893927","doi":"10.1006/inco.2001.2962","title":"Bisimulation for Labelled Markov Processes","year":2002,"lang":"en","type":"article","venue":"Information and Computation","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":307,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Bisimulation; Probabilistic logic; Mathematics; Markov chain; Markov process; State space; Discrete mathematics; Algebra over a field; Pure mathematics","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.004540828,0.001266529,0.001505199,0.001890072,0.002305426,0.003754718,0.002524487,0.002125193,0.00687647],"category_scores_gemma":[0.01981508,0.001037744,0.002436092,0.001610774,0.004253785,0.006728659,0.004241829,0.004198548,0.001177328],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004292408,"about_ca_system_score_gemma":0.002911022,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004552702,"about_ca_topic_score_gemma":0.004086094,"domain_scores_codex":[0.9938681,0.002399092,0.0004096803,0.001117544,0.001398509,0.0008071667],"domain_scores_gemma":[0.9836573,0.01182342,0.001114703,0.001462927,0.001356189,0.0005854107],"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.0001031727,0.00004304783,0.0001279304,0.00006154831,0.0000239137,0.00005074131,0.0002196108,0.02115649,0.0007699492,0.971307,0.0003426664,0.005793987],"study_design_scores_gemma":[0.00003340397,0.0000212442,0.00003931939,0.00002310009,0.0000181342,0.00001635288,0.00002570305,0.07419014,0.0009709726,0.9236257,0.001019965,0.0000158647],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03061905,0.0002165682,0.9579888,0.0003564596,0.00007631912,0.0001377303,0.0001995618,0.00055031,0.009855207],"genre_scores_gemma":[0.7598712,0.0005379377,0.2244706,0.0004245935,0.000133357,0.001074314,0.0008176789,0.0005058799,0.01216436],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00687647,"threshold_uncertainty_score":0.03114378,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03763854844124866,"score_gpt":0.2940433828801528,"score_spread":0.2564048344389042,"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."}}