{"id":"W2110862626","doi":"","title":"Conflict Detection in Call Control Using First-Order Logic Model Checking.","year":2007,"lang":"en","type":"article","venue":"Stirling Online Research Repository (University of Stirling)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; University of Stirling","keywords":"Computer science; Control (management); Domain (mathematical analysis); Artificial intelligence; Model checking; State (computer science); Cover (algebra); Machine learning; Theoretical computer science; Programming language; Engineering; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003431058,0.0002228736,0.0004210382,0.000774458,0.0005709564,0.00004700092,0.001101819,0.0002497228,0.000001025448],"category_scores_gemma":[0.001217768,0.0002733072,0.0001098481,0.001341137,0.0003504305,0.000571684,0.0004497426,0.001004273,0.000002005354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005331174,"about_ca_system_score_gemma":0.000297265,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001109395,"about_ca_topic_score_gemma":0.0004493157,"domain_scores_codex":[0.9970943,0.0002710711,0.0003794902,0.0006650837,0.0007823972,0.0008076602],"domain_scores_gemma":[0.9964402,0.001666758,0.0001971395,0.0006374964,0.0008693167,0.0001891433],"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.0001475202,0.0001325845,0.0007297833,0.0001019048,0.00003144452,0.0002589296,0.001491182,0.9317707,0.05934823,0.0004775899,0.000003869644,0.005506199],"study_design_scores_gemma":[0.0009602081,0.0001481965,0.00382665,0.0001634251,0.00001190198,0.00003105502,0.0006513727,0.9894893,0.003411896,0.000936512,0.00009375527,0.0002757515],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2611295,0.0003405055,0.7377462,0.0000720194,0.0002034179,0.0002345947,0.000003769442,0.00020935,0.00006064327],"genre_scores_gemma":[0.5842769,0.00005389985,0.415463,0.000007473154,0.00006462829,3.391436e-7,0.000001384551,0.00001413251,0.0001182176],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.3231474,"threshold_uncertainty_score":0.9999719,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1364967768610269,"score_gpt":0.3628396819626254,"score_spread":0.2263429051015985,"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."}}