{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003130523,0.00006933337,0.00008037511,0.00004239564,0.0000947045,0.00007671237,0.0004014276,0.00003820268,0.000003765681],"category_scores_gemma":[0.00004472258,0.00006079339,0.00003837597,0.000136148,0.00002200012,0.0004449142,0.00006976165,0.00003307499,0.00001023377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002434612,"about_ca_system_score_gemma":0.0000276686,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003032784,"about_ca_topic_score_gemma":0.00002295843,"domain_scores_codex":[0.9993688,0.00001737451,0.0001529993,0.0001912415,0.0001058076,0.0001637909],"domain_scores_gemma":[0.9994937,0.00004275176,0.00004968652,0.000332557,0.00006178443,0.00001955692],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003194856,0.00001794269,0.00003767844,0.000006673408,0.000001508779,9.709012e-8,0.00008783447,0.002273491,0.002716756,0.9795405,0.0009875298,0.01432684],"study_design_scores_gemma":[0.0001554519,0.00002250286,0.0001887129,0.000002481379,0.000001550607,9.860271e-7,0.000006217683,0.8989235,0.04009763,0.05852669,0.001989835,0.00008445854],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003559291,0.00002415251,0.963469,0.0002814512,0.0001285237,0.0001482972,7.422151e-7,0.0002175005,0.03217102],"genre_scores_gemma":[0.08542659,0.000001266179,0.9103078,0.000124284,0.00004123102,0.00004287866,0.000001607297,0.000005500292,0.004048855],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9210138,"threshold_uncertainty_score":0.2479082,"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."}}