{"id":"W2091607538","doi":"10.1109/lics.2013.38","title":"Stone Duality for Markov Processes","year":2013,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Probabilistic logic; Markov chain; Duality (order theory); Countable set; Mathematics; Completeness (order theory); Algebra over a field; Algebraic number; Stone's representation theorem for Boolean algebras; Modal logic; Markov process; Complete Boolean algebra; Markov kernel; Algebraic structure; Free Boolean algebra; Discrete mathematics; Modal; Pure mathematics; Two-element Boolean algebra; Markov model; Variable-order Markov model; Algebra representation","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.002263918,0.0006005281,0.000902721,0.001864218,0.002027502,0.003066347,0.000986715,0.000928598,0.005018335],"category_scores_gemma":[0.005521765,0.0003656205,0.001861212,0.001326993,0.003278195,0.006654202,0.002915929,0.002386654,0.0005867115],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001798317,"about_ca_system_score_gemma":0.001531483,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001409405,"about_ca_topic_score_gemma":0.001140358,"domain_scores_codex":[0.9978178,0.0006383362,0.0001453856,0.0003780445,0.0007661123,0.0002543074],"domain_scores_gemma":[0.9972307,0.00128018,0.0003155196,0.0002914166,0.0006005003,0.000281759],"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.000004115121,0.000005518332,0.00004004461,0.00001123059,0.000004386339,0.0000148303,0.0000566385,0.0008417811,0.0001617166,0.9976324,0.0001110181,0.001116277],"study_design_scores_gemma":[0.000003790236,0.000008412248,0.0000373384,0.000007591966,0.000004711522,0.0000233707,0.00002731809,0.01108585,0.00038999,0.9866148,0.001791139,0.000005681821],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06453621,0.0009424465,0.8886622,0.0008301639,0.0001769349,0.0001035771,0.000255061,0.0002261908,0.04426714],"genre_scores_gemma":[0.8471686,0.001160176,0.1375755,0.0004130274,0.0003273424,0.0002986108,0.0004426446,0.0001100842,0.01250416],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005018335,"threshold_uncertainty_score":0.01678795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04069751279656358,"score_gpt":0.3221777949655652,"score_spread":0.2814802821690016,"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."}}