{"id":"W4253488781","doi":"10.1007/978-3-662-04558-9_2","title":"Temporal Logic","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"Elevator Systems and Control","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Elevator; Computer science; Engineering; Aerospace engineering","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00003071648,0.0001974644,0.0002429696,0.00004617054,0.00001463444,0.00001689326,0.00008902184,0.0002379304,0.002818711],"category_scores_gemma":[6.801167e-7,0.0001678313,0.00009550905,0.000006718957,0.000009660881,0.00002070319,0.000009260306,0.0001654964,0.00125458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003431993,"about_ca_system_score_gemma":0.00000682918,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001486504,"about_ca_topic_score_gemma":0.00003634607,"domain_scores_codex":[0.9994765,0.000001168089,0.0001781044,0.0001129899,0.00009891621,0.0001323567],"domain_scores_gemma":[0.9997005,0.00000787407,0.0000205411,0.0002053109,0.00001570217,0.00005001206],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001412711,0.000001914695,0.00002585196,0.00008070901,0.000132885,0.00009649306,0.000009317417,0.0001233036,0.00003818607,0.9191077,0.07162175,0.008760436],"study_design_scores_gemma":[0.00009598136,0.00001169381,0.00000242126,0.00004042313,0.0000121977,0.00001369787,0.00000151427,0.0004274834,0.000003942322,0.006770007,0.9923933,0.0002273913],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000005625598,0.00173066,0.001349689,0.00002095869,0.0004277556,0.0001134912,0.000005666867,0.000468904,0.9958773],"genre_scores_gemma":[0.02179263,0.00009224172,0.0000585576,0.00007035718,0.0004571473,0.000006137692,0.00001069952,0.00006662332,0.9774456],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9207715,"threshold_uncertainty_score":0.999523,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01356814912027884,"score_gpt":0.1831186067063461,"score_spread":0.1695504575860673,"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."}}