{"id":"W1602213077","doi":"10.1007/978-3-642-22306-8_6","title":"Randomized Backtracking in State Space Traversal","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Tree traversal; Backtracking; Computer science; Concurrency; State space; Context (archaeology); Java; Model checking; Programming language; State (computer science); Theoretical computer science; Bounded function; Algorithm; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004828657,0.0005780652,0.00100321,0.001325557,0.0001316169,0.0004047782,0.003782848,0.000332329,0.00003335349],"category_scores_gemma":[0.000384657,0.0005279224,0.000196288,0.0008160633,0.001163185,0.001108108,0.0009466249,0.001148442,0.00007439191],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003933789,"about_ca_system_score_gemma":0.0004891643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001022567,"about_ca_topic_score_gemma":0.0001038174,"domain_scores_codex":[0.9955423,0.0002297591,0.0008813919,0.001601585,0.0009417564,0.0008032021],"domain_scores_gemma":[0.9967526,0.0008333913,0.0005085712,0.001550303,0.0001932217,0.000161934],"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.0007849159,0.00004015583,0.00002667303,0.00005397275,0.00001537984,0.0001154557,0.005269443,0.01432492,0.00008823444,0.2447546,0.000005032805,0.7345212],"study_design_scores_gemma":[0.01117978,0.00007904835,0.00009992046,0.000401255,0.000007456895,0.00004599058,1.678121e-7,0.4958725,0.002680977,0.4885671,0.0003255285,0.0007403372],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000122279,0.0002840412,0.9851936,0.0001975573,0.002198462,0.000777728,0.000001905815,0.0001491879,0.01107525],"genre_scores_gemma":[0.04734791,0.0001175343,0.9514849,0.0004517363,0.000155313,0.00002009026,0.000001957729,0.00003843553,0.0003820805],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7337809,"threshold_uncertainty_score":0.9997172,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03326182238659969,"score_gpt":0.273672072962619,"score_spread":0.2404102505760193,"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."}}