{"id":"W2954304163","doi":"10.23638/lmcs-17(1:9)2021","title":"Computing Probabilistic Bisimilarity Distances for Probabilistic Automata","year":2021,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Natural Sciences and Engineering Research Council of Canada; European Commission","keywords":"Probabilistic logic; Computer science; Probabilistic automaton; Probabilistic CTL; Theoretical computer science; Automaton; Probabilistic analysis of algorithms; Programming language; 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.003401936,0.001021037,0.001243901,0.002388854,0.0009323579,0.002458204,0.002277505,0.002055653,0.002760303],"category_scores_gemma":[0.02526865,0.0007592881,0.0015794,0.001575578,0.0027549,0.006382733,0.004424976,0.003039153,0.0005748834],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002929367,"about_ca_system_score_gemma":0.0018735,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001225939,"about_ca_topic_score_gemma":0.001402433,"domain_scores_codex":[0.9944928,0.001403484,0.000568112,0.001622818,0.001550094,0.0003627829],"domain_scores_gemma":[0.9876004,0.008257122,0.001017046,0.001599187,0.0011097,0.0004164182],"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.0002988845,0.0001459473,0.002162309,0.000252703,0.0001332141,0.0001183721,0.0005475153,0.2216354,0.009571524,0.663274,0.0009210689,0.100939],"study_design_scores_gemma":[0.0000249112,0.00008217118,0.0002335314,0.00001936526,0.00002095982,0.0000491518,0.00004771094,0.5448928,0.00620814,0.4470643,0.00132346,0.00003338386],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05206842,0.0001065537,0.9455405,0.0001537374,0.00003003261,0.00008848592,0.0001171784,0.0005368445,0.0013582],"genre_scores_gemma":[0.5223726,0.0001299593,0.4748079,0.0001671152,0.00004038369,0.000300604,0.0004759135,0.0002078875,0.001497627],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003401936,"threshold_uncertainty_score":0.02125418,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06591931980726415,"score_gpt":0.4080842784368488,"score_spread":0.3421649586295846,"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."}}