{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004767287,0.0002448857,0.0002627714,0.0002597806,0.0001276523,0.0001399517,0.001776393,0.0003059779,0.000009345365],"category_scores_gemma":[0.0002496133,0.0002869228,0.0001373564,0.0006327337,0.00005021326,0.0006304332,0.0009150259,0.0002893145,0.00009322297],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001836642,"about_ca_system_score_gemma":0.0002923409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003210972,"about_ca_topic_score_gemma":0.000008915945,"domain_scores_codex":[0.9982927,0.0001021888,0.0002378031,0.000996338,0.0000925986,0.0002783117],"domain_scores_gemma":[0.997642,0.0002200459,0.0003725762,0.001255782,0.0004339587,0.00007567107],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004249091,0.00006445026,0.00225979,0.0006847297,0.00003677424,0.000005045231,0.0001941941,0.701075,0.00002753214,0.2929581,0.0001668563,0.002485049],"study_design_scores_gemma":[0.0003302059,0.00005919185,0.000724335,0.00006688203,0.00003187941,9.234968e-7,0.00001569027,0.9422316,0.0006697436,0.05211104,0.003411357,0.0003471282],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05365053,0.0000431733,0.9426261,0.00005173152,0.001000014,0.0008157386,0.00001437201,0.0002653423,0.001532997],"genre_scores_gemma":[0.8637223,0.00005233162,0.1347101,0.00004980548,0.00007679956,0.000004083807,0.00002826252,0.00001805608,0.00133824],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8100718,"threshold_uncertainty_score":0.9999583,"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."}}