{"id":"W2090152890","doi":"10.1145/1403375.1403493","title":"Semantics for model-based validation of continuous/discrete systems","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Semantics (computer science); Representation (politics); Discrete modelling; Programming language; Theoretical computer science; Discrete 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004434304,0.00006667292,0.0001349357,0.00006499864,0.00006321135,0.00002256812,0.0003608215,0.00004619394,8.710873e-7],"category_scores_gemma":[0.00008723595,0.00005935821,0.00004796271,0.0001451471,0.00003734365,0.0002793827,0.00002807247,0.0000284552,0.000003394433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001790384,"about_ca_system_score_gemma":0.0000619451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009767087,"about_ca_topic_score_gemma":1.445085e-7,"domain_scores_codex":[0.9992378,0.00004690974,0.0002596665,0.0001631095,0.000174461,0.0001179996],"domain_scores_gemma":[0.9991078,0.00007567561,0.0001493786,0.000417302,0.0002202191,0.00002966852],"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.00001726896,0.00005418534,0.0004236884,0.000161522,0.00001146348,5.049581e-7,0.0004012862,0.2205203,0.008415843,0.7680817,0.0007827068,0.001129559],"study_design_scores_gemma":[0.0001891509,0.00005431367,0.00004845268,0.0000106589,0.00000333423,0.000002754128,0.000008518321,0.880087,0.1186996,0.0006520264,0.0001776191,0.00006659547],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01584071,0.00001558281,0.9822469,0.00007165317,0.0002344437,0.0003401682,0.0000036948,0.0000959006,0.001150977],"genre_scores_gemma":[0.4726658,0.000001407959,0.5270621,0.00002046913,0.00001042646,0.00001964413,0.000002856196,0.000003468977,0.000213856],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7674297,"threshold_uncertainty_score":0.2420558,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05930928834983677,"score_gpt":0.3051234034330122,"score_spread":0.2458141150831754,"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."}}