{"id":"W4318966672","doi":"10.1145/3526071.3527516","title":"Automated extraction and checking of property models from source code for robot swarms","year":2022,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; Polytechnique Montréal","funders":"","keywords":"Marketing buzz; Correctness; Computer science; Robot; Swarm behaviour; Swarm robotics; Artificial intelligence; Scalability; JavaScript; Robotics; Python (programming language); Ant robotics; Open source; Software engineering; Embedded system; Distributed computing; Mobile robot; Programming language; Robot control; Software; Database; World Wide Web","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.004464296,0.002037488,0.0008581632,0.002063369,0.001103231,0.002536538,0.002627612,0.001572238,0.003563274],"category_scores_gemma":[0.02895245,0.00194202,0.002875097,0.001067138,0.002078861,0.004307205,0.002681586,0.002149547,0.001574189],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001812416,"about_ca_system_score_gemma":0.006342379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005981866,"about_ca_topic_score_gemma":0.008668013,"domain_scores_codex":[0.9943702,0.001405397,0.0004296856,0.0008739789,0.002574274,0.0003465113],"domain_scores_gemma":[0.9734258,0.01374581,0.003261074,0.005618469,0.003666081,0.0002826829],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00125604,0.001481101,0.04622122,0.003293128,0.0007476482,0.002697466,0.002610691,0.3967963,0.1383095,0.03225486,0.02318262,0.3511494],"study_design_scores_gemma":[0.0001255481,0.000257141,0.003413421,0.0001875348,0.0001365291,0.0003491247,0.0002079423,0.8926974,0.07843857,0.01291229,0.0111818,0.00009265601],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09119984,0.000287068,0.8230851,0.0005035627,0.00008937043,0.0005185896,0.001911728,0.08033179,0.00207283],"genre_scores_gemma":[0.4357309,0.0003914762,0.540826,0.00025117,0.00004314448,0.0007325344,0.008736461,0.01054916,0.002739176],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005981866,"threshold_uncertainty_score":0.02360976,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0868579633050371,"score_gpt":0.3145932828109147,"score_spread":0.2277353195058776,"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."}}