{"id":"W2259714137","doi":"10.4204/eptcs.184.6","title":"Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems","year":2015,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Liveness; Event (particle physics); Semantics (computer science); Search engine indexing; Construct (python library); State (computer science); Syntax; Model checking; Programming language; Real-time computing; Information retrieval; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003170915,0.0002132151,0.0002765458,0.0003051479,0.0001853864,0.000491662,0.001294715,0.00006512972,1.506215e-7],"category_scores_gemma":[0.0002464631,0.0001927506,0.00001836781,0.001293935,0.0007179957,0.001332509,0.001229421,0.0003180794,0.0000036341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004459473,"about_ca_system_score_gemma":0.0003454998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007797318,"about_ca_topic_score_gemma":2.634133e-7,"domain_scores_codex":[0.9972278,0.00004800505,0.0002861914,0.0009003345,0.0006675834,0.0008700275],"domain_scores_gemma":[0.9989265,0.00005173521,0.0000881973,0.0002780018,0.0002327848,0.0004227402],"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.00001231827,0.00003549406,0.0001668472,0.00001404156,0.000002097987,8.90094e-7,0.001619295,0.003065151,0.002263826,0.9885815,0.00000266924,0.004235904],"study_design_scores_gemma":[0.0002097888,0.0002606366,0.000172382,0.00004499345,0.000003306802,0.00008817207,0.00001806303,0.817455,0.001857635,0.1796838,0.000006862526,0.0001993232],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4569903,0.00004090926,0.5422813,0.00009985257,0.0001077443,0.000216275,2.201279e-7,0.0000586074,0.0002048119],"genre_scores_gemma":[0.717749,0.000003340442,0.2820844,0.00008883185,0.00004959403,0.00001512967,7.022077e-8,0.000008006336,0.00000156433],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8143899,"threshold_uncertainty_score":0.786014,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02960301789718997,"score_gpt":0.3100154273053389,"score_spread":0.2804124094081489,"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."}}