{"id":"W1526447489","doi":"10.1007/978-3-540-31980-1_6","title":"Empirically Efficient Verification for a Class of Infinite-State Systems","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Petri net; Computer science; Parameterized complexity; Reachability; Decidability; Theoretical computer science; Model checking; Stochastic Petri net; Reduction (mathematics); Class (philosophy); Algorithm; Mathematics; Artificial intelligence","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.002263295,0.0004446877,0.0006068638,0.000943384,0.0001661917,0.0003087383,0.003205925,0.0003177093,0.000003561725],"category_scores_gemma":[0.0003520625,0.0004195101,0.0001614346,0.0007586994,0.0006052806,0.0003828418,0.0005402089,0.0004639874,0.00001919845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000429686,"about_ca_system_score_gemma":0.0006151955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001233663,"about_ca_topic_score_gemma":0.000007774302,"domain_scores_codex":[0.995971,0.00007043902,0.001036224,0.001322622,0.001034478,0.0005652359],"domain_scores_gemma":[0.9957557,0.0007378,0.0008520869,0.001790925,0.0007234411,0.0001400544],"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.00001785848,0.00004768204,0.00001036936,0.0001419856,0.0000101246,0.000002452235,0.000773497,0.4736556,0.0005192109,0.09845073,0.00001358685,0.4263569],"study_design_scores_gemma":[0.0002568169,0.0002342086,0.00009766679,0.0002929509,0.000008382479,0.00001691194,1.882691e-7,0.9764835,0.002885611,0.01324689,0.006038455,0.0004383997],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001730961,0.0003785198,0.9944633,0.0002553157,0.002110573,0.001104733,0.00002352753,0.0001248748,0.001366104],"genre_scores_gemma":[0.06472351,0.0000318898,0.9343492,0.000291332,0.0002823752,0.00005734883,0.000009981253,0.00003529601,0.0002189996],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5028279,"threshold_uncertainty_score":0.9998257,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03489587707586903,"score_gpt":0.2958046592240737,"score_spread":0.2609087821482047,"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."}}