{"id":"W2147657785","doi":"10.1109/tai.2000.889888","title":"History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Temporal logic; Robot; Semantics (computer science); Fuzzy logic; Mobile robot; Artificial intelligence; Independence (probability theory); Noise (video); Programming language","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.0003934353,0.0001142682,0.0001578812,0.0001149123,0.00005941153,0.00001984994,0.0005801541,0.00007532025,0.00003406176],"category_scores_gemma":[0.00005040315,0.0001088403,0.00009538981,0.0001502497,0.00004140281,0.0004623961,0.0000631381,0.00007489084,0.000009284316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002375977,"about_ca_system_score_gemma":0.0000280553,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002199744,"about_ca_topic_score_gemma":6.718793e-7,"domain_scores_codex":[0.9989593,0.00003437643,0.0003064068,0.0002640376,0.0002108568,0.000225041],"domain_scores_gemma":[0.9990703,0.00006229269,0.0001796963,0.0005170762,0.0001166463,0.0000539622],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006072332,0.001608728,0.03115632,0.0004852869,0.0000365087,0.00001188984,0.003098549,0.01199743,0.09051232,0.1980349,0.002055723,0.6609416],"study_design_scores_gemma":[0.00117289,0.001143299,0.00799884,0.00006812245,0.00003229973,0.000007927701,0.00008240194,0.7107961,0.2669435,0.001572795,0.009559278,0.0006226101],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02624509,0.0003454401,0.9689767,0.0000198955,0.0009522901,0.0004928565,9.002416e-7,0.0001820661,0.002784778],"genre_scores_gemma":[0.439398,0.000002299353,0.5601215,0.00002018181,0.00003568618,0.0001613932,7.22405e-7,0.000006537955,0.0002537589],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6987987,"threshold_uncertainty_score":0.443838,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1294564103625037,"score_gpt":0.3259657884210686,"score_spread":0.1965093780585649,"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."}}