{"id":"W40581054","doi":"10.1007/978-1-4020-8737-0_13","title":"Towards ASSL Specification of Self-Scheduling Design and Monitoring in Team-Robotics Modeled with AS-TRM","year":2008,"lang":"en","type":"book-chapter","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Robotics; Computer science; Liveness; Artificial intelligence; Scheduling (production processes); Correctness; Distributed computing; Autonomic computing; Software engineering; Real-time computing; Robot; Embedded system; Engineering; Programming language; Operating system","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.002850834,0.001041451,0.0008382217,0.0007643386,0.0006601671,0.002400356,0.002816158,0.001567734,0.004255258],"category_scores_gemma":[0.004337701,0.001042083,0.001926056,0.0007931031,0.00157749,0.002399356,0.00231257,0.003308287,0.001932323],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001618621,"about_ca_system_score_gemma":0.00238177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004103574,"about_ca_topic_score_gemma":0.007342211,"domain_scores_codex":[0.9978381,0.0007406697,0.0002586938,0.0002490317,0.0007521398,0.0001614519],"domain_scores_gemma":[0.9977543,0.0008217996,0.000239653,0.0005484472,0.0005370402,0.00009877337],"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.00009611774,0.0001235158,0.0007530171,0.0005136059,0.00007516345,0.0004205519,0.0006903664,0.2899629,0.01012757,0.6232043,0.006545191,0.06748781],"study_design_scores_gemma":[0.00003719376,0.0000486437,0.0001326336,0.0001037474,0.00004645041,0.0001183667,0.00009015104,0.7630051,0.00763029,0.201905,0.02685687,0.00002560753],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002647821,0.0001001684,0.9925834,0.0001898653,0.00003849377,0.0000730436,0.0001387986,0.0009728026,0.003255573],"genre_scores_gemma":[0.1545988,0.0003084695,0.8320656,0.0004410286,0.00007882676,0.0005902476,0.0006786572,0.0008334914,0.01040496],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004255258,"threshold_uncertainty_score":0.01507682,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.078987573446225,"score_gpt":0.27738360377023,"score_spread":0.198396030324005,"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."}}