{"id":"W4416780431","doi":"10.48550/arxiv.2511.21621","title":"Two behavioural pseudometrics for continuous-time Markov processes","year":2025,"lang":"","type":"preprint","venue":"ArXiv.org","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada; Institut de Valorisation des Données; UK Research and Innovation","keywords":"Markov chain; Markov process; Equivalence (formal languages); Metric (unit); Bisimulation; Markov renewal process; Markov model","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.003736349,0.001166207,0.001528996,0.001310765,0.0007243927,0.0008094819,0.005822964,0.0008702892,0.0001363451],"category_scores_gemma":[0.007670121,0.001283807,0.0006233433,0.00409449,0.0004228808,0.001246816,0.003593602,0.001428346,0.0003644781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005233579,"about_ca_system_score_gemma":0.002030937,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001689723,"about_ca_topic_score_gemma":0.00001022369,"domain_scores_codex":[0.9921293,0.0005563847,0.002068039,0.002800511,0.0009810652,0.001464651],"domain_scores_gemma":[0.9898027,0.001811727,0.001761134,0.003275199,0.002972127,0.0003771432],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0006094057,0.002144192,0.6966308,0.007730135,0.0006972075,0.00004182202,0.003200867,0.0007028247,0.001905424,0.01456034,0.003842972,0.267934],"study_design_scores_gemma":[0.01107302,0.003073251,0.4748223,0.005848076,0.002758935,0.0002039962,0.0005393059,0.3091654,0.1203276,0.009366913,0.05220665,0.01061457],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2518661,0.001316678,0.7313156,0.0007187811,0.006976278,0.003724282,0.0002840518,0.0005054076,0.00329279],"genre_scores_gemma":[0.2127931,0.0005281437,0.7676654,0.0005211852,0.0006008506,0.001341786,0.0001434966,0.00008596855,0.01632006],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3084625,"threshold_uncertainty_score":0.999556,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08630296180542839,"score_gpt":0.347369726635171,"score_spread":0.2610667648297426,"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."}}