{"id":"W2102191448","doi":"10.1109/isre.1999.777992","title":"Events in linear-time properties","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Rotation formalisms in three dimensions; Formalism (music); Temporal logic; Model checking; Natural language; Interpretation (philosophy); Context (archaeology); Linear temporal logic","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.002924679,0.001199984,0.0007057475,0.001746998,0.001693272,0.004816328,0.001448497,0.001925916,0.01020355],"category_scores_gemma":[0.01093295,0.0009595736,0.001831584,0.001847766,0.00707194,0.01172932,0.002946785,0.004873815,0.002233899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002444238,"about_ca_system_score_gemma":0.001104595,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002213567,"about_ca_topic_score_gemma":0.00149597,"domain_scores_codex":[0.9964317,0.0008355918,0.0004353014,0.0009272872,0.0009550297,0.000415024],"domain_scores_gemma":[0.9890953,0.007578157,0.000984083,0.001040321,0.00103434,0.0002678522],"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.00003404484,0.00002523094,0.0002123252,0.0001292213,0.00001255181,0.0002934108,0.0005236825,0.002543476,0.0008364034,0.9866669,0.001281709,0.007441003],"study_design_scores_gemma":[0.00002394243,0.00001990778,0.0001071801,0.00005778098,0.00001886036,0.0001613028,0.0000995559,0.006748043,0.002129079,0.9627203,0.02789873,0.00001528154],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02232251,0.004086758,0.8895809,0.005639707,0.0007525847,0.0002284259,0.0006897778,0.001214532,0.07548491],"genre_scores_gemma":[0.6252549,0.004831751,0.3293304,0.003327995,0.001520019,0.001094739,0.002292888,0.000812242,0.03153516],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01020355,"threshold_uncertainty_score":0.03413427,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04378634382111287,"score_gpt":0.2825893078334756,"score_spread":0.2388029640123628,"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."}}