{"id":"W2932678026","doi":"10.48550/arxiv.1904.00976","title":"Bisimulation for Feller-Dynkin Processes","year":2019,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Bisimulation; Discrete time and continuous time; Equivalence (formal languages); Generalization; Mathematics; Markov chain; Markov process; Pure mathematics; Discrete mathematics; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":false,"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.003987368,0.0008485626,0.0007237983,0.001566529,0.001026795,0.002356747,0.001182899,0.00122543,0.002961139],"category_scores_gemma":[0.01117611,0.0004079058,0.001314982,0.0009796004,0.003708208,0.00436239,0.002704095,0.002635654,0.0005138504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002334718,"about_ca_system_score_gemma":0.001360189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001006852,"about_ca_topic_score_gemma":0.0005604228,"domain_scores_codex":[0.9952531,0.001566051,0.0003845194,0.0009299297,0.001498568,0.0003678626],"domain_scores_gemma":[0.9958099,0.00254295,0.00046112,0.0004189168,0.0005584812,0.0002085756],"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.00001898895,0.00001694404,0.0001183657,0.00002175906,0.000008791994,0.00004204642,0.0001630597,0.005844581,0.0006413562,0.9896883,0.00009308349,0.00334272],"study_design_scores_gemma":[0.00001842368,0.00003035487,0.00007585125,0.00002132309,0.00001152976,0.000053722,0.00003966338,0.0701626,0.001484109,0.9254118,0.002675229,0.00001540204],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0340662,0.0004516914,0.9551339,0.0003112472,0.00009733054,0.00007330881,0.00008086194,0.0002231918,0.009562169],"genre_scores_gemma":[0.7821648,0.0005952574,0.2082236,0.0002810326,0.0001594989,0.0005461004,0.0002844856,0.0001965987,0.007548661],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003987368,"threshold_uncertainty_score":0.02108747,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1586007484789236,"score_gpt":0.2381950295831959,"score_spread":0.07959428110427227,"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."}}