{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005667795,0.0009102221,0.0007466246,0.002975044,0.001228667,0.004197203,0.001524333,0.001975313,0.003243124],"category_scores_gemma":[0.02414374,0.0004663177,0.001925598,0.001893454,0.004560973,0.00752467,0.003908536,0.004262388,0.0004927118],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003218627,"about_ca_system_score_gemma":0.001555818,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008966479,"about_ca_topic_score_gemma":0.0005830097,"domain_scores_codex":[0.9903557,0.003108659,0.0009537395,0.001540631,0.003456821,0.0005845662],"domain_scores_gemma":[0.9852464,0.006160412,0.002539268,0.001213879,0.003183186,0.001656974],"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.00002937156,0.00002395203,0.0004003599,0.00004687009,0.00001153025,0.00006173191,0.0003053587,0.002511076,0.000842536,0.9887064,0.0002921642,0.006768715],"study_design_scores_gemma":[0.00002074626,0.0001532235,0.0008555115,0.00005487031,0.00002070744,0.0003521803,0.0002198883,0.07177791,0.002053209,0.9154535,0.008976141,0.00006205827],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06884038,0.0008555636,0.9109165,0.001680847,0.0003385268,0.0002002038,0.0004212838,0.0002954391,0.01645126],"genre_scores_gemma":[0.6903846,0.0007999437,0.2976557,0.0007559088,0.0003915601,0.0007067137,0.0006679173,0.0001828638,0.00845472],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005667795,"threshold_uncertainty_score":0.02997452,"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."}}