{"id":"W1931845768","doi":"10.1007/3-540-45654-6_33","title":"Towards a Computer-Aided Design of Reactive Systems","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Scalability; Notation; Context (archaeology); Supervisory control; Representation (politics); State space; Theoretical computer science; State (computer science); Scale (ratio); Control (management); Programming language; Distributed computing; Artificial intelligence; Database; Mathematics","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.001638322,0.000885853,0.0007892664,0.0006207278,0.0005074404,0.001619193,0.001500036,0.001281972,0.005943131],"category_scores_gemma":[0.003081416,0.000859925,0.001197318,0.0003688645,0.001240219,0.0007897173,0.0009462589,0.001485732,0.001584052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006055503,"about_ca_system_score_gemma":0.001573965,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001991962,"about_ca_topic_score_gemma":0.002964365,"domain_scores_codex":[0.998836,0.0003535838,0.00006059482,0.000142263,0.0005487304,0.00005885874],"domain_scores_gemma":[0.9986317,0.0007900409,0.00007001848,0.0002131273,0.0002746015,0.00002050637],"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.000134862,0.00009175002,0.000328952,0.0006566074,0.00008617868,0.0001742834,0.0003972532,0.5847994,0.03183494,0.1839697,0.002304336,0.1952218],"study_design_scores_gemma":[0.00008352681,0.0001285972,0.0001290165,0.0001340879,0.00006297759,0.0001264653,0.00004577416,0.8937156,0.02269578,0.04516325,0.03768809,0.00002687264],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001521178,0.00007120094,0.9957401,0.00003626486,0.00001509144,0.00005063316,0.00001785624,0.0005383881,0.002009318],"genre_scores_gemma":[0.05651277,0.0002962634,0.9391571,0.00005453107,0.00001660847,0.0002321434,0.00009342152,0.0001906199,0.003446738],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005943131,"threshold_uncertainty_score":0.01988173,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.050764824922186,"score_gpt":0.2882635640846574,"score_spread":0.2374987391624714,"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."}}