{"id":"W2149404610","doi":"10.1109/time.2006.11","title":"CTL Model Checking for Labelled Tree Queries","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"XPath; Computation tree logic; CTL*; Computer science; Theoretical computer science; Model checking; Fragment (logic); Branching (polymer chemistry); Tree (set theory); Computation; Temporal logic; Programming language; Algorithm; Mathematics; XML; Combinatorics; Chemistry","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.003364223,0.0005104776,0.0008314834,0.001042471,0.0006201169,0.002941453,0.00218624,0.001265769,0.002692677],"category_scores_gemma":[0.019803,0.0005211651,0.001489114,0.001322202,0.002634896,0.00498514,0.00267404,0.002033831,0.0003323307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002731242,"about_ca_system_score_gemma":0.002372579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01077367,"about_ca_topic_score_gemma":0.01054033,"domain_scores_codex":[0.9951218,0.001667637,0.0002966564,0.0006680329,0.001614636,0.000631219],"domain_scores_gemma":[0.9820495,0.01379251,0.001081454,0.001604008,0.00120556,0.0002668698],"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.0008120881,0.0002281159,0.005140716,0.0003352515,0.0001565339,0.001363172,0.0009079798,0.5182321,0.01666388,0.4081331,0.003921785,0.04410519],"study_design_scores_gemma":[0.00009578615,0.00003170864,0.0001721609,0.00002148161,0.00002751382,0.00006835892,0.00007233029,0.8181633,0.005645366,0.1749427,0.0007427771,0.00001659456],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1551547,0.0001542299,0.8337371,0.001027282,0.00005685847,0.0001268352,0.0006188264,0.004010601,0.005113631],"genre_scores_gemma":[0.9147741,0.00008951047,0.08172843,0.0002590388,0.00003703355,0.0001378258,0.0008060116,0.0003067227,0.00186122],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01077367,"threshold_uncertainty_score":0.02142191,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03369699989097832,"score_gpt":0.2890453518383329,"score_spread":0.2553483519473546,"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."}}