{"id":"W2981584093","doi":"10.1007/s10009-019-00543-1","title":"A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard","year":2019,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Train; Supervisor; Theory of computation; Computer science; Nondeterministic algorithm; Event (particle physics); Control (management); Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003854113,0.0006028417,0.000482007,0.001719006,0.0005895706,0.001740969,0.001618643,0.0007713366,0.006732759],"category_scores_gemma":[0.007840492,0.000521739,0.00190679,0.0007738036,0.00144137,0.00234379,0.001593818,0.001204781,0.001448424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00128212,"about_ca_system_score_gemma":0.002558488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005089559,"about_ca_topic_score_gemma":0.005087762,"domain_scores_codex":[0.9937785,0.001337492,0.0003843261,0.0005321467,0.003362252,0.0006052232],"domain_scores_gemma":[0.9951628,0.001531175,0.0003835825,0.001535346,0.001329374,0.0000577246],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007825363,0.0002073084,0.007880713,0.0006248171,0.0001761714,0.0008297232,0.0007794016,0.1345742,0.06814899,0.5959833,0.008219715,0.1817931],"study_design_scores_gemma":[0.0001238056,0.0004710511,0.003028367,0.0002258519,0.0002047254,0.0005125626,0.0003599891,0.6703139,0.09874662,0.1771666,0.04874104,0.0001055368],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04247323,0.0001048885,0.9426149,0.0002391273,0.00007782837,0.0002380417,0.000484857,0.004398338,0.009368747],"genre_scores_gemma":[0.4841217,0.0001702415,0.5041687,0.0002048011,0.00004659632,0.0002506041,0.001327376,0.001479357,0.008230641],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006732759,"threshold_uncertainty_score":0.02252334,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03523788722718633,"score_gpt":0.3029168370994255,"score_spread":0.2676789498722392,"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."}}