{"id":"W3112761167","doi":"10.1109/syscon47679.2020.9275899","title":"Safety Properties of Hybrid System Product Lines","year":2020,"lang":"en","type":"article","venue":"2020 IEEE International Systems Conference (SysCon)","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Critical Systems Labs","funders":"","keywords":"Computer science","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.0002542053,0.000382986,0.0006631482,0.0001132806,0.00004072515,0.0001133566,0.0007795464,0.00007203288,0.00004642814],"category_scores_gemma":[0.0001084114,0.0003659993,0.0001369986,0.0002114134,0.00006108474,0.0003242712,0.00006426418,0.0002544649,0.00027551],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002558397,"about_ca_system_score_gemma":0.0001172991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001167163,"about_ca_topic_score_gemma":0.000003420452,"domain_scores_codex":[0.9974644,0.00006708411,0.001151975,0.0004419944,0.0005601727,0.0003143819],"domain_scores_gemma":[0.9987215,0.00004749017,0.0002179384,0.0003760049,0.0004615202,0.0001755233],"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.0001536301,0.00005392111,0.001443245,0.009374447,0.001536609,0.0001172909,0.001955468,0.6383923,0.3252744,0.01300569,0.007076862,0.001616085],"study_design_scores_gemma":[0.000632666,0.00005114567,0.0002119028,0.001921662,0.00004086959,0.0001818465,0.0006222786,0.860771,0.09537289,0.000002524577,0.03957861,0.0006126097],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6416109,0.007222534,0.2378635,0.003232101,0.04837794,0.00514037,0.001026147,0.006707145,0.04881933],"genre_scores_gemma":[0.9975865,0.0000490362,0.0002064421,0.00002153972,0.00155339,0.0001382157,0.00002801108,0.00008017219,0.0003366566],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3559756,"threshold_uncertainty_score":0.9998792,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03173835876607729,"score_gpt":0.2090576703540938,"score_spread":0.1773193115880165,"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."}}