{"id":"W1988413534","doi":"10.1145/2629680","title":"Model-Checking Linear-Time Properties of Quantum Systems","year":2014,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Australian Research Council; Chinese Academy of Sciences","keywords":"Automaton; Model checking; Linear subspace; Quantum finite automata; Hilbert space; Quantum; Computer science; Automata theory; Theoretical computer science; Mathematics; Discrete mathematics; Pure mathematics; Quantum mechanics","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.0003088722,0.0001827587,0.0002521133,0.000184203,0.0002545243,0.00007229058,0.0007963335,0.00006998123,0.000004209006],"category_scores_gemma":[0.0000413392,0.000148369,0.0001187149,0.0003214171,0.00007161524,0.0001489749,0.0000297668,0.0002217347,0.00004624488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002572595,"about_ca_system_score_gemma":0.00007726079,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001744509,"about_ca_topic_score_gemma":3.689753e-7,"domain_scores_codex":[0.9984919,0.0001240305,0.0003613906,0.0003756584,0.0004200865,0.0002269068],"domain_scores_gemma":[0.9988487,0.0002771555,0.0001354832,0.0004830909,0.0001840374,0.000071567],"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.000007143996,0.0000972001,0.000002004622,0.00003094667,0.00002066592,8.236359e-7,0.0001980635,0.9646993,0.0005415397,0.0230681,0.000011274,0.011323],"study_design_scores_gemma":[0.0002231708,0.0001644215,0.00005118934,0.00008913295,0.00000771002,0.00002467503,0.00000678678,0.9628078,0.0004518153,0.03595009,0.00005352276,0.0001696265],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03549769,0.00006214307,0.9627749,0.0009091283,0.0002682061,0.0001431751,0.000006176043,0.00023313,0.0001054041],"genre_scores_gemma":[0.8209698,0.000001745987,0.1787173,0.0001716374,0.0000458207,0.00001041908,0.000002957756,0.00001104655,0.00006928275],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7854722,"threshold_uncertainty_score":0.605031,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03676618893922188,"score_gpt":0.244743616054268,"score_spread":0.2079774271150462,"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."}}