{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004432336,0.00004224275,0.000049721,0.00004545805,0.00001906004,0.000009559179,0.0002758308,0.00002318035,0.00003128455],"category_scores_gemma":[0.0001422892,0.00003254387,0.00001176279,0.0002198703,0.000009426258,0.00033329,0.00003621557,0.00004505115,0.0003517212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002100194,"about_ca_system_score_gemma":0.00002472479,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008692149,"about_ca_topic_score_gemma":0.000001110912,"domain_scores_codex":[0.9994535,0.0001037022,0.0001080527,0.0001273895,0.00009724214,0.0001100724],"domain_scores_gemma":[0.9996734,0.000009426219,0.00001848184,0.0002578364,0.00002019274,0.00002068324],"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.000009518317,0.0002904045,0.009889938,0.00002982288,0.000008280889,0.000003915376,0.001675258,0.0006415388,0.02406444,0.9115964,0.0004979284,0.05129255],"study_design_scores_gemma":[0.0006129569,0.0001287353,0.02056514,0.00004541937,0.00000159308,0.00002489735,0.00004244225,0.6354871,0.3087916,0.01516683,0.01869124,0.0004420415],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07717733,0.00003884597,0.8871312,0.0001489997,0.0003084682,0.0001538467,4.996684e-8,0.0001253225,0.03491593],"genre_scores_gemma":[0.2356972,0.00000182116,0.7602744,0.0001112787,0.000005392755,0.000009579555,7.740014e-8,0.000002391192,0.003897839],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8964296,"threshold_uncertainty_score":0.4520782,"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."}}