{"id":"W2146504260","doi":"10.1109/imtc.1994.352097","title":"Software design of sensor-based robot skills","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; National Research Council Canada","funders":"","keywords":"Robot; Computer science; Software; Human–computer interaction; Software design; Control engineering; Robot control; Artificial intelligence; Mobile robot; Programming language; Software development; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001384508,0.000476781,0.0003436774,0.0004593243,0.0004284551,0.001470693,0.001547986,0.0008449611,0.003486843],"category_scores_gemma":[0.003577575,0.0006106424,0.0007225268,0.0002948362,0.00137906,0.001441725,0.001113316,0.000848145,0.0007273043],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009132348,"about_ca_system_score_gemma":0.001533561,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001331375,"about_ca_topic_score_gemma":0.001450871,"domain_scores_codex":[0.9985691,0.0003340998,0.0001198557,0.0002079086,0.0006571965,0.0001117707],"domain_scores_gemma":[0.998717,0.0005891768,0.000149936,0.0001858528,0.0002942657,0.00006385036],"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.0001541802,0.0002019112,0.001429891,0.0008085853,0.00007913114,0.0006210052,0.00137059,0.1758451,0.04625709,0.5837292,0.003646623,0.1858567],"study_design_scores_gemma":[0.0001538919,0.0002872487,0.0005086567,0.0001389179,0.00007247887,0.0004017048,0.000182138,0.6813016,0.05960918,0.1752146,0.08208475,0.000044791],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00937526,0.0001268367,0.9843976,0.0001061914,0.0000259812,0.0001144005,0.00003351425,0.001241783,0.004578328],"genre_scores_gemma":[0.2401111,0.0003617593,0.7484845,0.0001298879,0.00002396446,0.0005892076,0.0002663661,0.0004337718,0.00959949],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003486843,"threshold_uncertainty_score":0.01166463,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05955731255873302,"score_gpt":0.2744259833520842,"score_spread":0.2148686707933511,"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."}}