{"id":"W1969553191","doi":"10.1016/s1567-8326(02)00068-1","title":"Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes","year":2003,"lang":"en","type":"article","venue":"The Journal of Logic and Algebraic Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":90,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University; Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada; Mitacs","keywords":"Bisimulation; Converse; Mathematics; Markov chain; Discrete mathematics; Bounded function; Markov process; Transition system; Calculus (dental); Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.005809107,0.001241039,0.001535024,0.003026967,0.001779104,0.006022177,0.002824793,0.001987997,0.003169493],"category_scores_gemma":[0.03092249,0.001326403,0.003452383,0.001821283,0.00514541,0.008285371,0.00411228,0.004127009,0.0004901906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003892252,"about_ca_system_score_gemma":0.003261731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003459613,"about_ca_topic_score_gemma":0.002686216,"domain_scores_codex":[0.9927641,0.001697352,0.0005931239,0.001786534,0.002009638,0.001149326],"domain_scores_gemma":[0.9554441,0.02957427,0.005953718,0.002757521,0.004080769,0.002189724],"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.000232979,0.0001272008,0.00184919,0.00008190487,0.0001001896,0.0002910744,0.0005373822,0.04893682,0.003638675,0.9379146,0.0002460163,0.006043979],"study_design_scores_gemma":[0.00005074154,0.00007169098,0.0003282063,0.00002298233,0.00005696553,0.0001032575,0.00008586417,0.3334365,0.002778184,0.6625801,0.0004486378,0.00003692564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1223168,0.0001232738,0.871603,0.0003118713,0.0000436197,0.00009234758,0.0001568563,0.0004736638,0.004878597],"genre_scores_gemma":[0.9367446,0.0001494965,0.06015585,0.0002118244,0.00009071051,0.0002025716,0.0003048169,0.0001838829,0.001956368],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006022177,"threshold_uncertainty_score":0.0307219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0201040403771851,"score_gpt":0.2657216902340813,"score_spread":0.2456176498568962,"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."}}