{"id":"W3021019922","doi":"10.1007/978-3-030-53291-8_20","title":"Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling","year":2020,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Fonds de recherche du Québec – Nature et technologies; Grantová Agentura České Republiky; European Commission","keywords":"Liveness; Computer science; Theoretical computer science; Distributed computing; Population; Petri net; Computation; Scheduling (production processes); Graph; Algorithm; Mathematical optimization; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.001603172,0.0004932666,0.0009479751,0.0003559142,0.0001829361,0.0007843681,0.003778685,0.0002216936,3.57278e-7],"category_scores_gemma":[0.0003129898,0.000377133,0.00009312413,0.002401237,0.0006344562,0.0004815915,0.002250767,0.0008946696,0.000003746237],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002166496,"about_ca_system_score_gemma":0.001087587,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004202055,"about_ca_topic_score_gemma":0.00001726716,"domain_scores_codex":[0.9952269,0.0002925107,0.0008490555,0.001885886,0.001130568,0.0006150767],"domain_scores_gemma":[0.9964646,0.0002599335,0.000774156,0.001557644,0.0007713682,0.0001723533],"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.00002157556,0.00005246815,0.00004814361,0.0006937414,0.00002743661,0.00002164538,0.01889415,0.9671209,0.003188108,0.0008055972,5.562439e-7,0.009125633],"study_design_scores_gemma":[0.0002632059,0.0001361397,0.0001047911,0.004324468,0.00000840405,0.00003109516,0.00003686561,0.9858253,0.007317433,0.001461029,0.000002316095,0.0004889469],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05945724,0.001344381,0.936465,0.000549953,0.001142441,0.0008277682,0.00001359661,0.0001939282,0.000005744638],"genre_scores_gemma":[0.8634831,0.000003223604,0.1361819,0.0000883457,0.0001420843,0.00007824353,0.000004296565,0.00001842627,3.421729e-7],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8040259,"threshold_uncertainty_score":0.999868,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05306172464541489,"score_gpt":0.2981256269397016,"score_spread":0.2450639022942867,"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."}}