{"id":"W3145100375","doi":"10.1007/978-3-030-72013-1_1","title":"Directed Reachability for Infinite-State Systems","year":2021,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Reachability; Petri net; Computer science; Algorithm; Graph; Reachability problem; Theoretical computer science; State (computer science); Stochastic Petri net; Domain (mathematical analysis); 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.001815494,0.0008424741,0.000654433,0.001353809,0.0008340922,0.001713181,0.001631683,0.001191313,0.004969771],"category_scores_gemma":[0.008681672,0.0005783836,0.001353964,0.0009745818,0.002678596,0.00225093,0.002375679,0.002002786,0.0006582214],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002121723,"about_ca_system_score_gemma":0.001773413,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005768349,"about_ca_topic_score_gemma":0.007198282,"domain_scores_codex":[0.9971092,0.001020639,0.0002035162,0.000439513,0.001007946,0.0002191794],"domain_scores_gemma":[0.9906288,0.007886581,0.0003516336,0.0005594207,0.0004580382,0.0001154451],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003374595,0.0001213625,0.001209275,0.0007109049,0.00007784599,0.0004991998,0.0003962292,0.6237304,0.0139069,0.2816905,0.002033162,0.07528676],"study_design_scores_gemma":[0.00004926257,0.00003552757,0.0001571956,0.00004969205,0.00002263412,0.00006495228,0.00004180709,0.7645059,0.006707087,0.2247728,0.003575156,0.00001802083],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03355851,0.0003477777,0.956836,0.0004162779,0.00003395596,0.0001354995,0.0003415279,0.003859508,0.004470964],"genre_scores_gemma":[0.5855849,0.0003412773,0.4094659,0.0001810256,0.00003409957,0.0003072777,0.00124229,0.0003375444,0.002505759],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005768349,"threshold_uncertainty_score":0.01662558,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03548021178645722,"score_gpt":0.2864712551275824,"score_spread":0.2509910433411252,"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."}}