{"id":"W3088039827","doi":"10.1109/icse43902.2021.00082","title":"Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap","year":2021,"lang":"en","type":"preprint","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; Politecnico di Milano; European Commission; Université du Luxembourg","keywords":"TRACE (psycholinguistics); Computer science; Specification language; Programming language; Bridging (networking); Model checking; Cyber-physical system; Temporal logic; Formal specification; Operating system","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008041658,0.001212968,0.0008053316,0.001829872,0.000683249,0.002368036,0.002381032,0.001201145,0.002484982],"category_scores_gemma":[0.02570788,0.0007431938,0.001722506,0.001168021,0.00320563,0.005259116,0.002785831,0.002108498,0.0002868196],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001470599,"about_ca_system_score_gemma":0.003806253,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00475953,"about_ca_topic_score_gemma":0.005068359,"domain_scores_codex":[0.9903463,0.004627974,0.0006208845,0.00096535,0.003035398,0.0004041097],"domain_scores_gemma":[0.9625752,0.02755142,0.00244061,0.005180972,0.0019653,0.0002864981],"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.0005668483,0.0004371684,0.009674403,0.001521248,0.0003123205,0.0007928873,0.001446067,0.4890765,0.0439912,0.1627111,0.001513363,0.2879569],"study_design_scores_gemma":[0.0001123901,0.000297893,0.0008509934,0.0001641106,0.00009856959,0.0003799488,0.0002697045,0.8912116,0.04365278,0.05751958,0.00538991,0.00005247212],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03928862,0.0001973968,0.9566939,0.0002761387,0.00001899925,0.0001116593,0.0001018121,0.001983417,0.001328045],"genre_scores_gemma":[0.5127152,0.0003854469,0.4847455,0.0001791474,0.00002814247,0.0001763441,0.0004235812,0.0004126748,0.0009340028],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008041658,"threshold_uncertainty_score":0.04252887,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1012271678064248,"score_gpt":0.316464805322498,"score_spread":0.2152376375160732,"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."}}