{"id":"W2017779181","doi":"10.1109/qest.2012.30","title":"On-the-Fly Algorithms for Bisimulation Metrics","year":2012,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Fonds de recherche du Québec – Nature et technologies; McGill University","keywords":"Bisimulation; Computer science; Heuristics; Algorithm; Markov decision process; Metric (unit); Convergence (economics); Computational complexity theory; Theoretical computer science; Mathematical optimization; Pairwise comparison; Markov process; Mathematics; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.005964214,0.002356464,0.002462305,0.002343523,0.001234444,0.002621811,0.004034644,0.002309993,0.005132341],"category_scores_gemma":[0.02909338,0.001066375,0.001857951,0.001923999,0.002677053,0.00502277,0.004558695,0.003909647,0.0008100492],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003973864,"about_ca_system_score_gemma":0.003203663,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005128323,"about_ca_topic_score_gemma":0.006277316,"domain_scores_codex":[0.9948761,0.002164848,0.0002926513,0.001074192,0.001159831,0.000432445],"domain_scores_gemma":[0.9748945,0.01969369,0.00159799,0.002059436,0.001230906,0.0005236341],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002217132,0.0001629343,0.001032909,0.0002600593,0.00008787851,0.00005758383,0.0002435768,0.7647239,0.001510339,0.1112211,0.0008331361,0.1196449],"study_design_scores_gemma":[0.00003225471,0.00005122988,0.00006542105,0.0000190431,0.00001358824,0.00001633062,0.00002462189,0.9271954,0.001082453,0.07104739,0.0004418803,0.00001047645],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01033306,0.0001360013,0.9875408,0.0001264632,0.00001643376,0.000100525,0.00004660214,0.0006109886,0.001089181],"genre_scores_gemma":[0.2572197,0.0001743204,0.7402495,0.0001211498,0.00003147212,0.0003822636,0.0002552735,0.0003979701,0.00116834],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005964214,"threshold_uncertainty_score":0.03154218,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1355789773124638,"score_gpt":0.3677328676217773,"score_spread":0.2321538903093135,"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."}}