{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00122786,0.00005722262,0.00004998173,0.00009100993,0.0001048971,0.00005836319,0.0004094294,0.00003510815,0.00001454061],"category_scores_gemma":[0.0006029132,0.00003739189,0.00003540558,0.000494844,0.00001281609,0.0005159024,0.00004864572,0.00004566429,0.00008602093],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003206147,"about_ca_system_score_gemma":0.000009421638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002540819,"about_ca_topic_score_gemma":9.715878e-8,"domain_scores_codex":[0.9993598,0.00005119266,0.0001181029,0.0001129712,0.0001756401,0.0001822853],"domain_scores_gemma":[0.9987835,0.0006554548,0.0000528499,0.0003936781,0.00007051713,0.00004402416],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001235337,0.00002126896,0.00004873463,0.000001614989,0.000002328615,1.001167e-8,0.00009332382,0.00009938629,0.0000399296,0.9194254,0.001170571,0.07909619],"study_design_scores_gemma":[0.0001067811,0.00006206697,0.001323496,0.000001778366,0.000002680117,0.000001071333,0.00001008681,0.941633,0.01194554,0.02394802,0.02087281,0.00009268572],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001256035,0.0000245149,0.992204,0.0004970765,0.0007152885,0.0002301892,7.307674e-7,0.00009640435,0.004975722],"genre_scores_gemma":[0.1920781,0.000001189157,0.8068757,0.0005304073,0.00008690778,0.00002933367,8.566184e-7,0.000004050278,0.0003934637],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9415336,"threshold_uncertainty_score":0.1524797,"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."}}