{"id":"W2117013774","doi":"10.1007/s10703-008-0049-6","title":"Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning","year":2008,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":129,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Engineering and Physical Sciences Research Council","keywords":"Divide and conquer algorithms; Computer science; Component (thermodynamics); Counterexample; Property (philosophy); Process (computing); Scalability; Alphabet; Model checking; Theoretical computer science; Process calculus; Algorithm; Artificial intelligence; Programming language; 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.006435745,0.001063703,0.001464033,0.001300423,0.001502773,0.002566836,0.003995461,0.002066488,0.007030066],"category_scores_gemma":[0.03130167,0.001168358,0.001711029,0.0009014077,0.003552292,0.00569971,0.005287134,0.004101628,0.001433505],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001771535,"about_ca_system_score_gemma":0.005295394,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006401555,"about_ca_topic_score_gemma":0.009609075,"domain_scores_codex":[0.994132,0.002642466,0.0003270787,0.001021763,0.001329502,0.0005471163],"domain_scores_gemma":[0.9792108,0.01456502,0.001012753,0.00335794,0.001472334,0.0003811894],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001007666,0.0004054194,0.002667548,0.0003412669,0.0001532834,0.0002164824,0.0006741969,0.184724,0.007167767,0.1319235,0.00802456,0.6626943],"study_design_scores_gemma":[0.00008390859,0.00004901034,0.0001031986,0.00002787951,0.00002396852,0.00003938561,0.00006592118,0.8524445,0.005525797,0.1401993,0.00142132,0.00001579053],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008049882,0.00005072123,0.9884778,0.0003709286,0.00001729242,0.00005638404,0.00003241064,0.001789348,0.001155217],"genre_scores_gemma":[0.2195965,0.00005818302,0.7777379,0.0002825695,0.00003660113,0.0001425761,0.0001489328,0.0004054528,0.001591474],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007030066,"threshold_uncertainty_score":0.03403592,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05480365477555006,"score_gpt":0.3464262572074728,"score_spread":0.2916226024319228,"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."}}